[Lambda] - calculus and computer science theory by Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome) | Menrva Books