Modal homotopy type theory

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy.David Corfield - 2020 - Oxford, England: Oxford University Press.
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy. [REVIEW]A. Klev & C. Zwanziger - 2022 - History and Philosophy of Logic 44 (3):337-342.
A Primer on Homotopy Type Theory Part 1: The Formal Type Theory.James Ladyman & Stuart Presnell - unknown
Homotopy limits in type theory.Jeremy Avigad, Krzysztof Kapulkin & Peter Lefanu Lumsdaine - unknown
Natural models of homotopy type theory.Steve Awodey - unknown
What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
Expressing ‘the structure of’ in homotopy type theory.David Corfield - 2017 - Synthese 197 (2):681-700.
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.
Homotopy Type Theory and Structuralism.Teruji Thomas - 2014 - Dissertation, University of Oxford
Corfield, David : Towards a Philosophy of Real Mathematics.Fernando Zalamea - 2010 - Theoria : An International Journal for Theory, History and Fundations of Science 21 (1):107-108.

Analytics

Added to PP
2018-11-09

Downloads
35 (#445,115)

6 months
3 (#1,206,820)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Corfield
University of Kent at Canterbury

Citations of this work

No citations found.

Add more citations

References found in this work

On the Plurality of Worlds.David K. Lewis - 1986 - Malden, Mass.: Wiley-Blackwell.
Fact, Fiction, and Forecast.Nelson Goodman - 1973 - Cambridge: Harvard University Press.
Laws and symmetry.Bas C. Van Fraassen - 1989 - New York: Oxford University Press.
Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Naming and Necessity.Saul Kripke - 1980 - Critica 17 (49):69-71.

View all 19 references / Add more references