The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp [Book Review]

Bulletin of Symbolic Logic 20 (4):497-500 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2014.31

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reviewed Work: Homotopy Type Theory: Univalent Foundations of Mathematics, http://homotopytypetheory.org/book, Institute for Advanced Study The Univalent Foundations Program.Review by: Jaap van Oosten - 2014 - Bulletin of Symbolic Logic 20 (4):497-500,.
Voevodsky’s Univalence Axiom in Homotopy Type Theory.Steve Awodey, Alvaro Pelayo & Michael A. Warren - unknown
Higher Structures in Homotopy Type Theory.Ulrik Buchholtz - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Higher Structures in Homotopy Type Theory.Ulrik Buchholtz - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 151-172.
Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp. [REVIEW]Peter T. Johnstone - 2010 - Bulletin of Symbolic Logic 16 (3):407-409.
Univalent Foundations as a Foundation for Mathematical Practice.Harry Crane - 2018
Univalent Foundations and the UniMath Library.Anthony Bordg - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Naïve Type Theory.Thorsten Altenkirch - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 101-136.
Formalising Mathematics in Simple Type Theory.Lawrence Paulson - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
Naïve Type Theory.Thorsten Altenkirch - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.

Analytics

Added to PP
2016-06-30

Downloads
19 (#793,944)

6 months
6 (#701,155)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jaap Van Oosten
Leiden University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references