scientific article; zbMATH DE number 4002064

MaRDI QIDQ3754595zbMATH OpenFDO

Authors J. Roger Hindley

Publication date 1986

zbMATH Keywords

combinatorsfunctional programmingintroductionlambda-calculus

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Combinatory logic and lambda calculus (03B40) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 5318491
• An Introduction to the Lambda Calculus
• scientific article; zbMATH DE number 2242116
• A glimpse into the paradise of combinatory algebra
• scientific article; zbMATH DE number 3993540

Cited in

(9)

• A type-theoretical alternative to ISWIM, CUCH, OWHY
• scientific article; zbMATH DE number 5852776 (Why is no real title available?)
• The lambda calculus: practice and principle
• A glimpse into the paradise of combinatory algebra
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• The Impact of the Lambda Calculus in Logic and Computer Science
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• Sequent combinators: a Hilbert system for the lambda calculus
• Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic

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