Combinatorial structure of type dependency
From MaRDI portal
Publication:2254771
DOI10.1016/j.jpaa.2014.07.015zbMath1369.03096arXiv1402.6799OpenAlexW2148391362MaRDI QIDQ2254771
Publication date: 6 February 2015
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1402.6799
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
C-system of a module over a \(Jf\)-relative monad ⋮ Unnamed Item ⋮ The universal exponentiable arrow
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Monads with arities and their associated theories
- Polynomial functors and opetopes
- Generalized algebraic theories and contextual categories
- Two-dimensional monad theory
- Comprehension categories and the semantics of type dependency
- The petit topos of globular sets
- On full abstraction for PCF: I, II and III
- Multitensors as monads on categories of enriched graphs
- Internal type theory
- Connected limits, familial representability and Artin glueing
- Homotopy Type Theory: Univalent Foundations of Mathematics
This page was built for publication: Combinatorial structure of type dependency
