Joyal's arithmetic universes via type theory
From MaRDI portal
Publication:2842826
DOI10.1016/S1571-0661(04)80569-3zbMath1270.03144OpenAlexW2088523838MaRDI QIDQ2842826
Publication date: 16 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80569-3
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- List-arithmetic distributive categories: Locoi
- Telescopic mappings in typed lambda calculus
- Sheaves in geometry and logic: a first introduction to topos theory
- Introduction to extensive and distributive categories
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Categorical logic and type theory
- Regular and exact completions
- Fibered categories and the foundations of naive category theory
This page was built for publication: Joyal's arithmetic universes via type theory