scientific article; zbMATH DE number 517051

zbMATH Open0794.03096MaRDI QIDQ4282579FDOQ4282579

Authors: Bart Jacobs, Eugenio Moggi, Thomas Streicher 

Publication date: 17 March 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

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

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)