scientific article; zbMATH DE number 4002064

zbMATH Open0618.03003MaRDI QIDQ3754595FDOQ3754595

Authors: J. Roger Hindley 

Publication date: 1986

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

Recommendations

• scientific article
• 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

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A glimpse into the paradise of combinatory algebra
• Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic
• Sequent combinators: a Hilbert system for the lambda calculus

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)