Acronyms von A bis Z
LNCS1210
-P. de Groote/J. R. Hindley (Eds.): Typed Lambda Calculi and Applications Proceedings, Springer-Verlag 1997
-P. de Groote/J. R. Hindley (Eds.): Typed Lambda Calculi and Applications Proceedings, Springer-Verlag 1997