[Lambda]-calculus and computer science theory
Subtitle: proceedings of the symposium held in Rome, March 25-27, 1975
By: IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.
Contributors: Böhm, C. 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
Number of pages: 370
Subjects: Combinatory logic -- Congresses.; Programming languages (Electronic computers) -- Congresses.
Notes: Includes bibliographies.
English or French.