A cubical model of homotopy type theory

Annals of Pure and Applied Logic 169 (12):1270-1294 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.08.002

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,126

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

Naive cubical type theory.Bruno Bentzen - 2021 - Mathematical Structures in Computer Science 31:1205–1231.
Combinatorial realizability models of type theory.Pieter Hofstra & Michael A. Warren - 2013 - Annals of Pure and Applied Logic 164 (10):957-988.
Model theory of special subvarieties and Schanuel-type conjectures.Boris Zilber - 2016 - Annals of Pure and Applied Logic 167 (10):1000-1028.
Higher Groups via Displayed Univalent Reflexive Graphs in Cubical Type Theory.Johannes Philipp Manuel Schipp von Branitz - 2020 - Dissertation, Technische Universität Darmstadt
Univalent polymorphism.Benno van den Berg - 2020 - Annals of Pure and Applied Logic 171 (6):102793.
Integrating classical and intuitionistic type theory.Robert C. Flagg - 1986 - Annals of Pure and Applied Logic 32:27-51.
Modal model theory.Maarten De Rijke - forthcoming - Annals of Pure and Applied Logic.
Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
Remarks in abstract model theory.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 29 (3):255-288.

Analytics

Added to PP
2018-08-12

Downloads
73 (#311,770)

6 months
32 (#119,964)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

Citations of this work

Naive cubical type theory.Bruno Bentzen - 2021 - Mathematical Structures in Computer Science 31:1205–1231.

Add more citations

References found in this work

Homotopy theoretic models of identity types.Steve Awodey & Michael Warren - 2009 - Mathematical Proceedings of the Cambridge Philosophical Society 146:45–55.

Add more references