×

Found 6 Documents (Results 1–6)

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

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

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software