Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory (2001)

by Frank Pfenning
Venue:Pages 221–230 of: Symposium on Logic in Computer Science
Citations:6 - 4 self