×

Found 12 Documents (Results 1–12)

Coherence for monoidal groupoids in HoTT. (English) Zbl 07756113

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 8, 20 p. (2020).
MSC:  03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI

Cartesian cubical computational type theory: constructive reasoning with paths and equalities. (English) Zbl 07533331

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 6, 17 p. (2018).
MSC:  03B70
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

Category theory in Coq 8.5. (English) Zbl 1387.68208

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 30, 18 p. (2016).
MSC:  68T15 03B15 03G30 18A99 55U40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software