scientific article; zbMATH DE number 873325

zbMATH Open0864.68062MaRDI QIDQ4876428FDOQ4876428

Authors: Luis Mandel 

Publication date: 5 May 1996

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

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

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)

Cited In (6)

• The disjunctive constrained lambda calculus
• A new generic scheme for functional logic programming with constraints
• Title not available (Why is that?)
• Title not available (Why is that?)
• Disjunctive Constraint Lambda Calculi
• 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)