Tupailo: Characterizing the interpretation of set theory in Martin-Löf type theory (0)

by M Rathjen, S
Venue:Annals of Pure and Applied Logic