scientific article; zbMATH DE number 873325

MaRDI QIDQ4876428zbMATH OpenFDO

Authors Luis Mandel

Publication date 5 May 1996

zbMATH Keywords

functional programmingconstrained lambda calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1140686
• scientific article; zbMATH DE number 3941503
• scientific article; zbMATH DE number 2086602
• The constraint language for lambda structures
• scientific article; zbMATH DE number 1757128
• The Intensional Lambda Calculus
• A calculus of lambda calculus contexts
• Infinitary lambda calculus
• The \(\lambda\)-context calculus
• scientific article; zbMATH DE number 2185707

Cited in

(6)

• scientific article; zbMATH DE number 1757128 (Why is no real title available?)
• A new generic scheme for functional logic programming with constraints
• The disjunctive constrained lambda calculus
• Disjunctive Constraint Lambda Calculi
• scientific article; zbMATH DE number 2086602 (Why is no real title available?)
• Constraint handling rules with binders, patterns and generic quantification

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