Independence results for calculi of dependent types

DOI10.1007/BFB0018350MaRDI QIDQ5096258zbMATHzbMATHOpenAlexFDO

Authors 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)

Recommendations

• Dependence and independence results for (impredicative) calculi of dependent types
• An adequacy theorem for dependent type theory
• Publication:4733863
• scientific article; zbMATH DE number 1241699
• A simple model construction for the calculus of constructions

Cites work

• scientific article; zbMATH DE number 4049849 (Why is no real title available?)
• scientific article; zbMATH DE number 4120168 (Why is no real title available?)
• Locally cartesian closed categories and type theory

Cited in

(4)

• Dependence and independence results for (impredicative) calculi of dependent types
• scientific article; zbMATH DE number 4120168 (Why is no real title available?)
• A proof-theoretic characterization of independence in type theory
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096258)