×

Found 9 Documents (Results 1–9)

Higher groups in homotopy type theory. (English) Zbl 1452.03034

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 205-214 (2018).
MSC:  03B38 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

all top 3

Software