[Lambda]-Calculus and computer science theory
Subtitle: Proceedings of the symposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le Applicazioni del Calcolo "Mauro Pecone" of the Consiglio Nazionale delle Ricerche
By: edited by C. Böhm.
Contributors: Böhm, Corrado, 1923-; Istituto per le Applicazioni del Calcolo.
Series: Lecture notes in computer science -- 37
Publisher: Springer-Verlag
Published: 1975
Place of publication: Berlin; New York
Language: eng; fre
Number of pages: 370
Subjects: Combinatory logic.; Programming languages (Electronic computers)