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:5 - 3 self