Mörtberg, Anders Cubical methods in homotopy type theory and univalent foundations. (English) Zbl 07630472 Math. Struct. Comput. Sci. 31, No. 10, 1147-1184 (2021). MSC: 03B38 PDFBibTeX XMLCite \textit{A. Mörtberg}, Math. Struct. Comput. Sci. 31, No. 10, 1147--1184 (2021; Zbl 07630472) Full Text: DOI
Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R. Syntax and models of Cartesian cubical type theory. (English) Zbl 07460116 Math. Struct. Comput. Sci. 31, No. 4, 424-468 (2021). MSC: 03B38 55U35 18N45 PDFBibTeX XMLCite \textit{C. Angiuli} et al., Math. Struct. Comput. Sci. 31, No. 4, 424--468 (2021; Zbl 07460116) Full Text: DOI
Buchholtz, Ulrik Higher structures in homotopy type theory. (English) Zbl 1528.03105 Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 151-172 (2019). MSC: 03B38 03G30 18N45 55U35 PDFBibTeX XMLCite \textit{U. Buchholtz}, Synth. Libr. 407, 151--172 (2019; Zbl 1528.03105) Full Text: DOI arXiv
Angiuli, Carlo; Harper, Robert Meaning explanations at higher dimension. (English) Zbl 1436.03102 Indag. Math., New Ser. 29, No. 1, 135-149 (2018). MSC: 03B38 55U35 PDFBibTeX XMLCite \textit{C. Angiuli} and \textit{R. Harper}, Indag. Math., New Ser. 29, No. 1, 135--149 (2018; Zbl 1436.03102) Full Text: DOI
Angiuli, Carlo; Morehouse, Edward; Licata, Daniel R.; Harper, Robert Homotopical patch theory. (English) Zbl 1420.68060 J. Funct. Program. 26, Paper No. e18, 45 p. (2016). MSC: 68N30 03B15 03G30 55U40 PDFBibTeX XMLCite \textit{C. Angiuli} et al., J. Funct. Program. 26, Paper No. e18, 45 p. (2016; Zbl 1420.68060) Full Text: DOI
Licata, Daniel R.; Harper, Robert Canonicity for 2-dimensional type theory. (English) Zbl 1321.03049 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 337-348 (2012). MSC: 03B70 03B15 68N15 68Q55 PDFBibTeX XMLCite \textit{D. R. Licata} and \textit{R. Harper}, in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '12, Philadelphia, PA, USA, January 22--28, 2012. New York, NY: Association for Computing Machinery (ACM). 337--348 (2012; Zbl 1321.03049) Full Text: DOI Link