The disjunctive constrained lambda calculus

DOI10.1007/3-540-62064-8_25MaRDI QIDQ6570935zbMATHFDO

Authors Luis Mandel, María Victoria Cengarle

Publication date 11 July 2024

zbMATH Keywords

constraintsfunctional programmingmultiple solutionsdenotational semanticslambda calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1140686
• Disjunctive Constraint Lambda Calculi
• scientific article; zbMATH DE number 2086602
• scientific article; zbMATH DE number 1757128
• scientific article; zbMATH DE number 873325

Cites work

• scientific article; zbMATH DE number 3648114 (Why is no real title available?)
• scientific article; zbMATH DE number 4092754 (Why is no real title available?)
• scientific article; zbMATH DE number 1140686 (Why is no real title available?)
• scientific article; zbMATH DE number 873325 (Why is no real title available?)
• A Powerdomain Construction
• Power domains

This page was built for publication: The disjunctive constrained lambda calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6570935)