-P. Dybjer et al. (Eds.): Types for Proofs and Programs. Proceedings 1994, Springer-Verlag 1995