Refinement Types for Logical Frameworks (1993)
Cached
Download Links
by
Frank Pfenning
| Venue: | Informal Proceedings of the Workshop on Types for Proofs and Programs |
| Citations: | 38 - 8 self |
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 |
