http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
[Lambda]-calculus and computer science theory
proceedings of the symposium held in Rome, March 25-27, 1975
Istituto per le applicazioni del calcolo
1 online resource (xii, 370 pages) : illustrations
IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm.
Programming languages (Electronic computers)
Symposium on [symbol for lambda]-Calculus and Computer Science Theory (1975 : Rome, Italy).
Berlin ; New York : Springer-Verlag, 1975