On Relating Type Theories and Set Theories (1998)

Cached

Download Links

by Peter Aczel
Venue:Proceedings of TYPES'98, volume 1657 of Lecture Notes in Computer Science
Citations:21 - 1 self