scientific article; zbMATH DE number 517051

MaRDI QIDQ4282579zbMATHFDO

Authors Bart Jacobs, Eugenio Moggi, Thomas Streicher

Publication date 17 March 1994

zbMATH Keywords

categorical semanticsfibrationsCalculus of Constructionscomprehension categoriesHigher Order \(\lambda\)-calculus \(F\omega\)Higher Order MLimpredicative type theoriestwo-level type theory

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Dependence and independence results for (impredicative) calculi of dependent types
• scientific article; zbMATH DE number 4027427
• The calculus of constructions
• scientific article; zbMATH DE number 4187810
• Categorical semantics for higher order polymorphic lambda calculus

Cited in

(3)

• Dependence and independence results for (impredicative) calculi of dependent types
• V-comprehensions and P space
• Comprehension categories and the semantics of type dependency

This page was built for publication:

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