scientific article; zbMATH DE number 4045707

MaRDI QIDQ3783263zbMATH OpenFDO

Authors Sachio Hirokawa

Publication date 1987

zbMATH Keywords

combinatory logicreductionlambda calculusBCK-lambda terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
• Lambda terms definable as combinators
• The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction
• Abstraction problems in combinatory logic: A compositive approach
• The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II.

Cited in

(16)

• Sequent combinators: a Hilbert system for the lambda calculus
• Weak consequence relation between \(\lambda\)-terms
• On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
• Preface
• Applications of Plotkin-terms: partitions and morphisms for closed terms
• scientific article; zbMATH DE number 3885865 (Why is no real title available?)
• A direct proof of the finite developments theorem
• The basis decision problem in λ‐calculus
• Finite generation and presentation problems for lambda calculus and combinatory logic
• scientific article; zbMATH DE number 4147470 (Why is no real title available?)
• Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic
• The systematic construction of a one-combinator basis for lambda-terms
• scientific article; zbMATH DE number 2038177 (Why is no real title available?)
• The search for a reduction in combinatory logic equivalent to \(\lambda \beta\)-reduction. II.
• The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction
• 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 Q3783263)