Document Versions

Refinement Types for Logical Frameworks –Frank Pfenning — 1993 — Informal Proceedings of the Workshop on Types for Proofs and Programs
Intersection Types for a Logical Framework –Frank Pfenning — 1992 — Informal Proceedings of the Workshop on Types for Proofs and Programs
Refinement types for logical frameworks –Frank Pfenning — 1993 — Informal Proceedings of the Workshop on Types for Proofs and Programs
Refinement types for logical frameworks –Frank Pfenning — 1993 — Informal Proceedings of the Workshop on Types for Proofs and Programs