Nondeterministic Folds

DOI10.1007/11783596_17MaRDI QIDQ3618828zbMATH OpenOpenAlexFDO

Authors S. A. Curtis, C. E. Martin

Publication date 2 April 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11783596_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Monadic maps and folds for multirelations in an allegory
• Mathematics of Program Construction
• Modelling angelic and demonic nondeterminism with multirelations
• scientific article; zbMATH DE number 3878329
• Fold and unfold for program semantics

Cited in

(4)

• Monadic maps and folds for multirelations in an allegory
• scientific article; zbMATH DE number 1221768 (Why is no real title available?)
• The algebra of multirelations
• Modelling higher-order dual nondeterminacy

This page was built for publication: Nondeterministic Folds

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