Acronyms von A bis Z
LNCS37
-C. Böhm, lambda-Calculus and Computer Science Theory, Proceedings 1975, Springer-Verlag 1975
-C. Böhm, lambda-Calculus and Computer Science Theory, Proceedings 1975, Springer-Verlag 1975