Type Theory with Erasure.

Constantine Theocharis, Edwin C. Brady

Browse the full FSCD paper archive.