TY  - BOOK
AU  - Bohm,C.
ED  - Programming on Calculus and computer Scienee Theory
ED  - Istituto per le Applicazioni del Calcolo
TI  - Lambda-calculus and computer science theory
SN  - 0387074163 (pbk.)
U1  - 001.6 
PY  - 1975///
CY  - Berlin
PB  - Springer Verlag
KW  - Combinatory logic
KW  - Programming languages (Electronic computers)
N1  - English or French; Includes bibliographical references and index
ER  -