Characterizing the interpretation of set theory in Martin-Löf type theory

by Michael Rathjen , Sergei Tupailo
Citations:1 - 0 self