Types for Proofs and Programs, International Workshop, TYPES 2002 (2003)

by In Geuvers, H Wiedijk, F
Venue:of Lecture Notes in Computer Science