Well-ordering proofs for Martin-Löf Type Theory (1998)

by Anton Setzer
Venue:Annals of Pure and Applied Logic
Citations:18 - 11 self