Dictoses

DOI10.1007/BFb0018354zbMath1496.03264OpenAlexW4206603775MaRDI QIDQ5096262

Thomas Ehrhard

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0018354

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (3)

Proving strong normalization of CC by modifying realizability semantics ⋮ Comprehensive factorisation systems ⋮ Comprehension categories and the semantics of type dependency

Cites Work

• Locally cartesian closed categories and type theory
• The Discrete Objects in the Effective Topos
• Fibered categories and the foundations of naive category theory
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Tripos theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dictoses