Combining Type Theory and Untyped Set Theory.

Chad E. Brown

Browse the full CADE paper archive.