scientific article; zbMATH DE number 4002064

MaRDI QIDQ3754595zbMATH OpenFDO

Authors J. Roger Hindley

Publication date 1986

zbMATH Keywords

functional programminglambda-calculusintroductioncombinators

Mathematics Subject Classification ID

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

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

(7)

• Sequent combinators: a Hilbert system for the lambda calculus
• The lambda calculus: practice and principle
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 5852776 (Why is no real title available?)
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• A glimpse into the paradise of combinatory algebra
• 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)