Title: Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975
Subjects: Computable functions, Congresses, Lambda calculus, Machine theory, Recursive functions