scientific article; zbMATH DE number 4010480

MaRDI QIDQ3760508zbMATH OpenFDO

Authors J. Lambek

Publication date 1986

zbMATH Keywords

cartesian closed categoriesequational presentationnatural number objectsurjective pairingtyped lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Intuitionistic mathematics (03F55) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4103048
• The maximality of the typed lambda calculus and of cartesian closed categories
• Locally cartesian closed categories and type theory
• A cartesian closed category in Martin-Löf's intuitionistic type theory
• Semantics of the typed -calculus with substitution in a cartesian closed category
• scientific article; zbMATH DE number 2079044
• Locally Cartesian closed quasi-categories from type theory
• scientific article; zbMATH DE number 3997132
• scientific article; zbMATH DE number 3898875

Cited in

(39)

• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• The linear abstract machine
• Algebra of constructions. I. The word problem for partial algebras
• An intersection problem for finite automata
• An internal language for autonomous categories
• Embedding of a free cartesian-closed category into the category of sets
• Cartesian categories with natural numbers object
• Rings of continuous functions with values in a topological division ring
• The Mori property in rings with zero divisors. II.
• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• The maximality of the typed lambda calculus and of cartesian closed categories
• Applications of methods of proof theory in category theory.
• Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
• Physics, Topology, Logic and Computation: A Rosetta Stone
• scientific article; zbMATH DE number 445156 (Why is no real title available?)
• scientific article; zbMATH DE number 1823815 (Why is no real title available?)
• Cartesian monoids
• scientific article; zbMATH DE number 3875278 (Why is no real title available?)
• scientific article; zbMATH DE number 4202235 (Why is no real title available?)
• scientific article; zbMATH DE number 3919789 (Why is no real title available?)
• scientific article; zbMATH DE number 3928997 (Why is no real title available?)
• scientific article; zbMATH DE number 3941503 (Why is no real title available?)
• Categorical combinators
• scientific article; zbMATH DE number 3985475 (Why is no real title available?)
• scientific article; zbMATH DE number 4103048 (Why is no real title available?)
• scientific article; zbMATH DE number 25966 (Why is no real title available?)
• scientific article; zbMATH DE number 517016 (Why is no real title available?)
• scientific article; zbMATH DE number 2079044 (Why is no real title available?)
• scientific article; zbMATH DE number 1522506 (Why is no real title available?)
• scientific article; zbMATH DE number 3997132 (Why is no real title available?)
• Formal categorical reasoning
• Monoidal streams for dataflow programming
• Relations in operational categories
• Semantics of the typed -calculus with substitution in a cartesian closed category
• Coinductive streams in monoidal categories
• List-arithmetic distributive categories: Locoi
• Krull rings, Prüfer \(v\)-multiplication rings and the ring of finite fractions
• Codatatypes in ML
• A category-theoretic characterization of functional completeness

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