scientific article

zbMATH Open0618.03003MaRDI QIDQ3754595FDOQ3754595

J. Roger Hindley

Publication date: 1986

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

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 (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequent combinators: a Hilbert system for the lambda calculus

   Recommendations

• Title not available (Why is that?) 👍 👎
• An Introduction to the Lambda Calculus 👍 👎
• Title not available (Why is that?) 👍 👎
• A glimpse into the paradise of combinatory algebra 👍 👎
• 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 Q3754595)