A century since \textit{Principia}'s substitution bedazzled Haskell Curry. In honour of Jonathan Seldin's 80th anniversary

MaRDI QIDQ6535865zbMATH OpenFDO

Authors

Publication date 1 March 2024

Published in Tributes (Search for Journal in Brave)

Mathematics Subject Classification ID

Festschriften (00B30) History of mathematics in the 20th century (01A60) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 5722460
• scientific article; zbMATH DE number 3993540
• scientific article; zbMATH DE number 5318491
• Sequent combinators: a Hilbert system for the lambda calculus
• scientific article; zbMATH DE number 963644

This page was built for publication: A century since \textit{Principia}'s substitution bedazzled Haskell Curry. In honour of Jonathan Seldin's 80th anniversary

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535865)