scientific article; zbMATH DE number 4035776

MaRDI QIDQ3775517zbMATH OpenFDO

Authors Adolfo Piperno

Publication date 1987

zbMATH Keywords

functional programming\(\lambda \)-calculuscombinatorsbracket abstractionevaluation techniques

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Recommendations

• Abstraction problems in combinatory logic: A compositive approach
• scientific article; zbMATH DE number 786542
• Compact bracket abstraction in combinatory logic
• A set of combinators for abstraction in linear space
• Variable abstraction in O(n log n) space

Cited in

(12)

• Variable abstraction in O(n log n) space
• A foray into combinatory logic
• scientific article; zbMATH DE number 5081758 (Why is no real title available?)
• Compact bracket abstraction in combinatory logic
• scientific article; zbMATH DE number 786542 (Why is no real title available?)
• \(\lambda\) to SKI, semantically -- declarative pearl
• Some improvements to Turner's algorithm for bracket abstraction
• The merits of compositional abstraction: a case study in propositional logic
• A set of combinators for abstraction in linear space
• A sound and complete abstraction for reasoning about parallel prefix sums
• On adding (ξ) to weak equality in combinatory logic
• Abstraction problems in combinatory logic: A compositive approach

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