[Lambda]-calculus and computer science theory proceedings of the symposium held in Rome, March 25-27, 1975 / - Böhm, C. (Lecture notes in computer science ;)