[Lambda]-Calculus and Computer Science Theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR Instituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche - Böhm, Corrado (Lecture notes in computer science, 1975)