Acronyms von A bis Z
LNCS1657
-T. Altenkirch/W. Naraschewski/B. Reus (Eds.): Types for Proofs and Programs. Proceedings 1998, Springer-Verlag 1999
-T. Altenkirch/W. Naraschewski/B. Reus (Eds.): Types for Proofs and Programs. Proceedings 1998, Springer-Verlag 1999