Large model constructions for second-order ZF in dependent type theory.

Dominik Kirst, Gert Smolka

Browse the full CPP paper archive.