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
Last update Thu May 24 04:36:59 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page