Homotopy Type Theory : Univalent Foundations of Mathematics (original) (raw)
Related papers
A Primer on Homotopy Type Theory Part 1: The Formal Type Theory
2014
Universes and Univalence in Homotopy Type Theory
The Review of Symbolic Logic
2022
2010
Foundations of Mathematics: a new proposal based on Homotopy Type Theory
Master's Thesis, 2018
Homotopy Type Theory and the Vertical Unity of Concepts in Mathematics
What is a Mathematical Concept?
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction
Philosophia Mathematica, 2015
Realizability of Homotopy Type Theory
Homotopy theoretic models of identity types
2007
Does Homotopy Type Theory Provide a Foundation for Mathematics?
The British Journal for the Philosophy of Science, 2016
The vertical unity of concepts in mathematics through the lens of homotopy type theory
2016
2020
Philosophia Mathematica, 2016
Modelling and computing homotopy types: I
Semi-simplicial Types in Logic-enriched Homotopy Type Theory
arXiv (Cornell University), 2015
Expressing ‘the structure of’ in homotopy type theory
Synthese, 2017
Group-theoretic algebraic models for homotopy types
Journal of Pure and Applied Algebra, 1991
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory
ArXiv, 2018
The HoTT library: a formalization of homotopy type theory in Coq
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
1984
Overview on Models in Homotopical Algebra
2004
Another introduction to Martin-Löf ’ s Intuitionistic Type Theory
2004
Jeffrey Strom: “Modern Classical Homotopy Theory”
Jahresbericht der Deutschen Mathematiker-Vereinigung, 2012
2-adjoint Equivalences in Homotopy Type Theory
Log. Methods Comput. Sci., 2021
How Intensional Is Homotopy Type Theory?
Springer eBooks, 2015
Axiomathes, 2014
Meta-mathematical aspects of Martin-Löf's type theory
2000
CONSTRUCTIVE TYPE THEORY, AN APPETIZER
Higher-Order Metaphysics, 2023
Copredication in homotopy type theory
A Cartan–Eilenberg approach to homotopical algebra
Journal of Pure and Applied Algebra, 2010
Mathematical Structures in Computer Science, 2022
Type theories, normal forms, and D∞-lambda-models
Information and Computation, 1987
CORCORAN ON TYPE THEORY—SUBMITTED VERSION
A model for the homotopy theory of homotopy theories
2012
A Modern Perspective on Type Theory From its Origins until Today
Journal of Logic, Language and Information, 2006