Lambda-calculus and computer science theory : PROCEEDINGS OF THE SIMPOSIUM HELD IM ROME, MARCH 25-27, 1975. (Lecture Notes in Computer Science ;, 1975)