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