scientific article; zbMATH DE number 1984512

MaRDI QIDQ4428877zbMATH OpenFDO

Authors Saunders Mac Lane

Publication date 22 September 2003

zbMATH Keywords

Galois connectionsadjoint functorslambda calculus

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) History of category theory (18-03)

Recommendations

• scientific article; zbMATH DE number 3993540
• scientific article; zbMATH DE number 5318491
• scientific article; zbMATH DE number 3889501
• Models of the lambda calculus: an introduction
• Classical lambda calculus in modern dress

Cited in

(1)

• Russell's 1903 - 1905 Anticipation of the Lambda Calculus

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