×

Found 11 Documents (Results 1–11)

Cellular cohomology in homotopy type theory. (English) Zbl 1452.55016

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). 521-529 (2018).
MSC:  55U35 03B38 55N20
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

Functions out of higher truncations. (English) Zbl 1373.03011

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 359-373 (2015).
MSC:  03B15 03G30 55U40 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Non-wellfounded trees in homotopy type theory. (English) Zbl 1433.03027

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 17-30 (2015).
MSC:  03B38 03B35 55U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Eilenberg-MacLane spaces in homotopy type theory. (English) Zbl 1395.68249

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 66, 9 p. (2014).
MSC:  68T15 03B15 55P20
PDFBibTeX XMLCite
Full Text: DOI

Pattern matching without K. (English) Zbl 1345.68045

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 257-268 (2014).
MSC:  68N18 03B15 03G30 55U40
PDFBibTeX XMLCite
Full Text: DOI Link

Generalizations of Hedberg’s theorem. (English) Zbl 1433.03032

Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7941, 173-188 (2013).
MSC:  03B38 55U40 68V15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software