No CrossRef data available.
Article contents
Introduction – from type theory and homotopy theory to univalent foundations
Published online by Cambridge University Press: 10 March 2015
Abstract
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.
- Type
- Introduction
- Information
- Copyright
- Copyright © Cambridge University Press 2015