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