scientific article; zbMATH DE number 7471665
From MaRDI portal
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2005.11290
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Generalized algebraic theories and contextual categories
- A cubical model of homotopy type theory
- The simplicial model of univalent foundations (after Voevodsky)
- The univalence axiom in cubical sets
- Canonicity and normalization for dependent type theory
- Nominal Sets
- A dependent nominal type theory
- Topological and Simplicial Models of Identity Types
- A Computational Interpretation of Parametricity
- A type theory for synthetic $\infty$-categories
- Homotopy theoretic models of identity types
- Cubical Type Theory: a constructive interpretation of the univalence axiom
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory
- Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
- The law of excluded middle in the simplicial model of type theory
- On Higher Inductive Types in Cubical Type Theory
- Degrees of Relatedness
- A General Framework for Relational Parametricity
- Coherence via Well-Foundedness
- A Constructive Model of Directed Univalence in Bicubical Sets
- Parametricity and dependent types
- Type-theory in color
- Non-wellfounded trees in Homotopy Type Theory
- A relationally parametric model of dependent type theory
- Abstract effects and proof-relevant logical relations
- Homotopy Type Theory: Univalent Foundations of Mathematics
- Univalence for inverse diagrams and homotopy canonicity
- An experimental library of formalized Mathematics based on the univalent foundations
- ABSTRACT HOMOTOPY
- Internal Parametricity for Cubical Type Theory
- A presheaf model of parametric type theory
