Joyal's arithmetic universes via type theory

DOI10.1016/S1571-0661(04)80569-3zbMath1270.03144OpenAlexW2088523838MaRDI QIDQ2842826

Maria Emilia Maietti

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

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) First-order arithmetic and fragments (03F30)

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