Independence results for calculi of dependent types

DOI10.1007/BFb0018350zbMath1496.03266OpenAlexW1542254428MaRDI QIDQ5096258

Thomas Streicher

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/bfb0018350

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (1)

Nominal lambda calculus: an internal language for FM-Cartesian closed categories

Cites Work

• Locally cartesian closed categories and type theory
• Unnamed Item
• Unnamed Item

This page was built for publication: Independence results for calculi of dependent types