dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Lambda-Calculus

Lambda-Calculus 1975: Rome, Italy

Corrado Böhm (Ed.): Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975. Lecture Notes in Computer Science 37 Springer 1975, ISBN 3-540-07416-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Tue May 21 17:40:10 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page