scientific article; zbMATH DE number 3875278

MaRDI QIDQ3342573zbMATH OpenFDO

Authors Philip Scott, J. Lambek

Publication date 1984

zbMATH Keywords

cartesian closed categorieshigher-order type theorylambda calculussurveytoposes

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited in

(17)

• The calculus of constructions
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Categorical logic and type theory
• Are the traditional philosophies of mathematics really incompatible?
• Graded Hoare logic and its categorical semantics
• Models, logics, and higher-dimensional categories: A tribute to the work of Mihály Makkai. Proceedings of a conference, CRM, Montréal, Canada, June 18--20, 2009
• RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
• scientific article; zbMATH DE number 3919789 (Why is no real title available?)
• scientific article; zbMATH DE number 3931013 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3985475 (Why is no real title available?)
• scientific article; zbMATH DE number 4021135 (Why is no real title available?)
• scientific article; zbMATH DE number 733385 (Why is no real title available?)
• scientific article; zbMATH DE number 3997132 (Why is no real title available?)
• scientific article; zbMATH DE number 1863382 (Why is no real title available?)
• scientific article; zbMATH DE number 910440 (Why is no real title available?)
• Semantics of the typed -calculus with substitution in a cartesian closed category

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