- LNCS1581
- -J.-Y. Girard (Ed.): Typed Lambda Calculi and Applications. Proceedings, Springer-Verlag 1999
Acronyms. 2013.
LNCS1581
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1581 — J. Y. Girard (Ed.): Typed Lambda Calculi and Applications. Proceedings, Springer Verlag 1999 … Acronyms von A bis Z
