scientific article; zbMATH DE number 1984512

zbMATH Open1023.03010MaRDI QIDQ4428877FDOQ4428877

Authors: Saunders Mac Lane 

Publication date: 22 September 2003

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

Recommendations

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

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)

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)