Lambda-calculus and computer science theory : proceedings of the symposium heldiin Rome, March 25-27, 1975 (rz1, 1975)