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

by
Michael Rathjen
,
Sergei Tupailo