[Greek letter Lambda (romanized form)] [i.e. Lambda]-calculus and computer science theory :
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 ; edited by C. Böhm.

Description

Tools

Cite this Export citation file
Related Names
Böhm, C. (Corrado), 1923-
Istituto per le applicazioni del calcolo.
Language(s)
English ; French
Published
Berlin ; Springer-Verlag, 1975.
Subjects
Programming languages (Electronic computers) > Congresses.
Combinatory logic > Congresses.
Note
English or French.
Physical Description
xii, 370 p. : ill. ; 24 cm.
ISBN
0387074163
Locate a Print Version
Find in a library

Viewability

Item Link Original Source
Limited (search only)   University of Michigan