Change search
ReferencesLink to record
Permanent link

Direct link
Introduction - from type theory and homotopy theory to univalent foundations of mathematics
Stockholm University, Faculty of Science, Department of Mathematics.
2015 (English)In: Mathematical Structures in Computer Science, ISSN 0960-1295, E-ISSN 1469-8072, Vol. 25, no 5, 1005-1009 p.Article in journal, Editorial material (Other academic) Published
Abstract [en]

We give an overview of the main ideas involved in the development of homotopy type theory and the univalent foundations of Mathematics programme. This serves as a background for the research papers published in the special issue.

Place, publisher, year, edition, pages
2015. Vol. 25, no 5, 1005-1009 p.
National Category
Mathematics
Research subject
Mathematical Logic
Identifiers
URN: urn:nbn:se:su:diva-128342DOI: 10.1017/S0960129514000474OAI: oai:DiVA.org:su-128342DiVA: diva2:914197
Available from: 2016-03-23 Created: 2016-03-23 Last updated: 2016-04-04Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Palmgren, Erik
By organisation
Department of Mathematics
In the same journal
Mathematical Structures in Computer Science
Mathematics

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 44 hits
ReferencesLink to record
Permanent link

Direct link