scientific article

zbMATH Open1195.03009MaRDI QIDQ3567776

Vladimir Ivanovich Shalak

Publication date: 17 June 2010

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

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)

Related Items (2)

Title not available (Why is that?) ⋮ Title not available (Why is that?)

Recommendations

• A foray into combinatory logic 👍 👎
• Combinator logics 👍 👎
• Combinatory logic and the semantics of substructural logics 👍 👎
• Classical Combinatory Logic 👍 👎
• Combinators and structurally free logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)