Transpension: the right adjoint to the Pi-type
From MaRDI portal
Publication:6563063
DOI10.46298/LMCS-20(2:16)2024MaRDI QIDQ6563063
Andreas Nuyts, Dominique Devriese
Publication date: 27 June 2024
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
homotopy type theoryparametricitydependent type theorymodal type theorypresheaf modelsguarded type theorydirected type theory
Could not fetch data.
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A dependent type theory with abstractable names
- On right adjoints to exponential functors
- Generalized algebraic theories and contextual categories
- Towards a directed homotopy type theory
- Guarded cubical type theory
- Guarded Dependent Type Theory with Coinductive Types
- Type theory in type theory using quotient inductive types
- Nominal sets. Names and symmetry in computer science
- A dependent nominal type theory
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- Modalities and Parametric Adjoints
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities
- Denotational semantics for guarded dependent type theory
- Degrees of Relatedness
- Multimodal Dependent Type Theory
- A Constructive Model of Directed Univalence in Bicubical Sets
- Modal dependent type theory and dependent right adjoints
- A relationally parametric model of dependent type theory
- Homotopy Type Theory: Univalent Foundations of Mathematics
- 2-Dimensional Directed Type Theory
- Unifying Cubical Models of Univalent Type Theory
- A presheaf model of parametric type theory
- Two-level type theory and applications
This page was built for publication: Transpension: the right adjoint to the Pi-type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6563063)