Combinatorial structure of type dependency
From MaRDI portal
Publication:2254771
DOI10.1016/j.jpaa.2014.07.015zbMath1369.03096arXiv1402.6799MaRDI 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
03G30: Categorical logic, topoi
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C50: Categorical semantics of formal languages
Related Items
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