Types for proofs and programs International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / - Dybjer, Peter.; Nordström, Bengt.; Smith, Jan M. (Lecture notes in computer science ;)