Refinement Types for Logical Frameworks (1993)

by Frank Pfenning
Venue:Informal Proceedings of the Workshop on Types for Proofs and Programs