Found 2 Documents (Results 1–2)
Categoricity results for second-order ZF in dependent type theory. (English) Zbl 1468.03012
Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 304-318 (2017).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Kirst, Dominik (2)
- Smolka, Gert (2)
Software
- Coq (2)
- HoTT (1)
- Isabelle/ZF (1)