scientific article; zbMATH DE number 5722460

MaRDI QIDQ3567776zbMATH OpenFDO

Authors Vladimir Ivanovich Shalak

Publication date 17 June 2010

zbMATH Keywords

\(\lambda\)-calculuscombinatory logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

Recommendations

• Combinator logics
• scientific article; zbMATH DE number 5667200
• scientific article; zbMATH DE number 993359
• scientific article; zbMATH DE number 4128788
• Combinators and structurally free logic
• A foray into combinatory logic
• Combinatory logic and the semantics of substructural logics
• scientific article; zbMATH DE number 5729494
• scientific article; zbMATH DE number 2038177
• Classical combinatory logic

Cited in

(5)

• scientific article; zbMATH DE number 3885865 (Why is no real title available?)
• scientific article; zbMATH DE number 5667200 (Why is no real title available?)
• scientific article; zbMATH DE number 496226 (Why is no real title available?)
• scientific article; zbMATH DE number 702011 (Why is no real title available?)
• A century since \textit{Principia}'s substitution bedazzled Haskell Curry. In honour of Jonathan Seldin's 80th anniversary

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