Categoricity Results for Second-Order ZF in Dependent Type Theory.

Dominik Kirst, Gert Smolka

Browse the full ITP paper archive.