DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Homotopy type theory
Homotopy type theory
Sets in Homotopy Type Theory
Types Are Internal Infinity-Groupoids Antoine Allioux, Eric Finster, Matthieu Sozeau
On Modeling Homotopy Type Theory in Higher Toposes
Constructivity in Homotopy Type Theory
Introduction to Synthese Special Issue on the Foundations of Mathematics
Models of Type Theory Based on Moore Paths ∗
Reasoning in an ∞-Topos with Homotopy Type Theory
Higher Algebra in Homotopy Type Theory
Homotopy Type Theory
Homotopy Type Theory: a New Connection Between Logic, Category Theory and Topology
15-819 Homotopy Type Theory Lecture Notes
Formalizing Cartan Geometry in Modal Homotopy Type Theory
Homotopy Type Theory: Univalent Foundations of Mathematics Contents
Homotopy Type Theory Without Homotopy Theory
Groups and Higher Groups in Homotopy Type Theory
A Primer on Homotopy Type Theory Part 1: the Formal Type Theory
Coherence of Strict Equalities in Dependent Type Theories
A Brief Introduction to Type Theory and the Univalence Axiom
Top View
A New Foundational Crisis in Mathematics, Is It Really Happening? Mirna Džamonja
Multimodal Dependent Type Theory
Voevodsky's Univalence Axiom in Homotopy Type Theory
Cubical Models of Homotopy Type Theory an Internal Approach
Homotopy Type Theory: a Synthetic Approach to Higher Equalities
Computational Higher-Dimensional Type Theory
An Overview of Homotopy Type Theory and the Univalent Foundations of Mathematics Lawrence Dunn III
A Type Theory for Synthetic ∞-Categories
An Introduction to Univalent Foundations for Mathematicians
Type Theory and Homotopy
Intuitionistic Type Theory
An Implementation of Homotopy Type Theory in Isabelle/Pure
Homotopy Type Theory in Higher Toposes an Invitation to Synthetic Mathematics
Homotopy Type Theory
A BASIC INTRODUCTION to HOMOTOPY TYPE THEORY My
15-819 Homotopy Type Theory Lecture Notes
12 Feb 2018 Higher Groups in Homotopy Type Theory
Type 2-Theories
The Synthetic Theory of ∞-Categories in Homotopy Type Theory
Homotopy Type Theory a High-Level Language for Invariant Mathematics
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
A New Foundational Crisis in Mathematics, Is It Really Happening?
An Introduction to Homotopy Type Theory
15-819 Homotopy Type Theory Week 2 Lecture Notes
Homotopy Type Theory and Univalent Foundations
Homotopy Type Theory: Univalent Foundations of Mathematics
Homotopy Type Theory: Towards Grothendieck's Dream
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
Higher Categories in Homotopy Type Theory
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
Does Homotopy Type Theory Provide a Foundation for Mathematics? James Ladyman and Stuart Presnell Downloaded From
Finite Sets in Homotopy Type Theory
Introduction to Type Theory and Homotopy Theory
An Invitation to Homotopy Type Theory Tingxiang
A Step Towards Non-Presentable Models of Homotopy Type Theory
Introduction to Homotopy Type Theory Wise19/20 Part I, Lecture 1 Ulrik Buchholtz
Homotopy Theory in Type Theory
How Intensional Is Homotopy Type Theory?
Homotopy Type Theory: Unified Foundations of Mathematics And
Higher Structures in Homotopy Type Theory
Anew Proof-Assistant That Revisits
Homotopy Type Theory and Voevodsky's Univalent Foundations