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