Eds.): Types for Proofs and Programs (0)

by B Nordström Dybjer, J Smith
Venue:International Workshop TYPES-94, Båstad