1 - Lambda-calculus and computer science theory : proceedings of the symposium held in Rome March 25-27, 1975Böhm, Corrado (1923-....) (Ed.)Cote : [05 BOH 75]