Types for Proofs and Programs (0)

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