Safe Proof Checking in Type Theory with Y.

Herman Geuvers, Erik Poll, Jan Zwanenburg

Browse the full CSL paper archive.