The disjunctive constrained lambda calculus

DOI10.1007/3-540-62064-8_25zbMATH Open1541.68088MaRDI QIDQ6570935FDOQ6570935

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)

Cites Work

• A Powerdomain Construction
• Power domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)