Gambino, Nicola; Larrea, Marco Federico Models of Martin-Löf type theory from algebraic weak factorisation systems. (English) Zbl 1527.18004 J. Symb. Log. 88, No. 1, 242-289 (2023). MSC: 18D30 18N45 03G30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Emmenegger, Jacopo; Palmgren, Erik Exact completion and constructive theories of sets. (English) Zbl 1485.03257 J. Symb. Log. 85, No. 2, 563-584 (2020). Reviewer: Amit Kuber (Kanpur) MSC: 03G30 18A35 18B25 18A15 03B38 18B05 18D15 03F55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License