editors, Types for Proofs and Programs (1995)

by Nordstrom, J Smith
Venue:Lecture Notes in Computer Science 996