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. Springer 1975 Lecture Notes in Computer Science 37 ISBN 3-540-07416-3 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team