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

by Michael Rathjen , Sergei Tupailo