scientific article; zbMATH DE number 4016174

MaRDI QIDQ3028328zbMATH OpenFDO

Authors P. Bellot, Véronique Lay

Publication date 1987

zbMATH Keywords

applicative programming languagescombinatorsComputability theoryCurryficationgraph reduction machines

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Proposal for a natural formalization of functional programming concepts
• scientific article; zbMATH DE number 4074446
• scientific article; zbMATH DE number 3942987
• scientific article; zbMATH DE number 4098720
• A category-theoretic characterization of functional completeness

Cited in

(3)

• Proposal for a natural formalization of functional programming concepts
• scientific article; zbMATH DE number 4098720 (Why is no real title available?)
• A variadic extension of Curry's fixed-point combinator

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