Taxerås Flaten, Jarl G. Univalent categories of modules. (English) Zbl 07813327 Math. Struct. Comput. Sci. 33, No. 2, 106-133 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{J. G. Taxerås Flaten}, Math. Struct. Comput. Sci. 33, No. 2, 106--133 (2023; Zbl 07813327) Full Text: DOI arXiv OA License
Bordg, Anthony The interpretation lifting theorem for C-systems. (English) Zbl 1483.18003 Theory Appl. Categ. 38, 214-231 (2022). Reviewer: Sergejs Solovjovs (Praha) MSC: 18C10 18C50 18F20 PDFBibTeX XMLCite \textit{A. Bordg}, Theory Appl. Categ. 38, 214--231 (2022; Zbl 1483.18003) Full Text: arXiv Link
van der Weide, Niels; Geuvers, Herman The construction of set-truncated higher inductive types. (English) Zbl 07515964 König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 261-280 (2019). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{N. van der Weide} and \textit{H. Geuvers}, Electron. Notes Theor. Comput. Sci. 347, 261--280 (2019; Zbl 07515964) Full Text: DOI
Ahrens, Benedikt; Lefanu Lumsdaine, Peter Displayed categories. (English) Zbl 1419.18001 Log. Methods Comput. Sci. 15, No. 1, Paper No. 20, 18 p. (2019). Reviewer: Marco Benini (Buccinasco) MSC: 18A15 03B15 PDFBibTeX XMLCite \textit{B. Ahrens} and \textit{P. Lefanu Lumsdaine}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 20, 18 p. (2019; Zbl 1419.18001) Full Text: arXiv
Ahrens, Benedikt; Matthes, Ralph Heterogeneous substitution systems revisited. (English) Zbl 1433.68220 Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018). MSC: 68Q65 18C50 68V15 68V20 PDFBibTeX XMLCite \textit{B. Ahrens} and \textit{R. Matthes}, LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018; Zbl 1433.68220) Full Text: DOI arXiv
Ahrens, Benedikt; Lumsdaine, Peter LeFanu Displayed categories. (English) Zbl 1434.18002 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 5, 16 p. (2017). MSC: 18A15 03B38 PDFBibTeX XMLCite \textit{B. Ahrens} and \textit{P. L. Lumsdaine}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 5, 16 p. (2017; Zbl 1434.18002) Full Text: DOI
Voevodsky, Vladimir The \((\Pi,\lambda)\)-structures on the C-systems defined by universe categories. (English) Zbl 1383.03056 Theory Appl. Categ. 32, 113-121 (2017). Reviewer: Partha Ghosh (Johannesburg) MSC: 03F50 18C50 03B15 18D15 PDFBibTeX XMLCite \textit{V. Voevodsky}, Theory Appl. Categ. 32, 113--121 (2017; Zbl 1383.03056) Full Text: arXiv EMIS