×

Found 12 Documents (Results 1–12)

Univalent foundations and the unimath library. (English) Zbl 1528.03104

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, 173-189 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

Homotopy type theory in Lean. (English) Zbl 1484.68319

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, 479-495 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software