Lambda-calculus and computer science theory : PROCEEDINGS OF THE SIMPOSIUM HELD IM ROME, MARCH 25-27, 1975.. (Berlin : Springer Verlag, 1975)