Dominik Kirst, Gert Smolka. Large model constructions for second-order ZF in dependent type theory. In June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. pages 228-239, ACM, 2018. [doi]
Abstract is missing.