[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 Picone" of the Consiglio Nazionale delle Ricerche
By: edited by C. Böhm.
Contributors: Böhm, Corrado.; Istituto per le Applicazioni del Calcolo "Mauro Picone".
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: 'The volume arose from a Symposium on [Lambda]- Calculus and Computer Science Theory... held in Rome, Italy, March 25-27, 1975... organised by the Istituto per 1e Applicazioni del Calcolo "Mauro Picone".' - introd.

Includes bibliographies.