A category theoretic view of nondeterministic recursive program schemes

DOI10.4230/LIPICS.CSL.2011.496MaRDI QIDQ2915707zbMATH OpenOpenAlexFDO

Authors Daniel Schwencke

Publication date 18 September 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_2356.html

zbMATH Keywords

distributive lawfinal coalgebranondeterminismpowerset monadrecursive program scheme

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Algebra and Coalgebra in Computer Science
• The category-theoretic solution of recursive program schemes
• scientific article; zbMATH DE number 3924117
• A representable approach to finite nondeterminism
• scientific article; zbMATH DE number 3954251

Cited in

(7)

• scientific article; zbMATH DE number 3924117 (Why is no real title available?)
• scientific article; zbMATH DE number 3954251 (Why is no real title available?)
• scientific article; zbMATH DE number 742726 (Why is no real title available?)
• scientific article; zbMATH DE number 1086715 (Why is no real title available?)
• Algebra and Coalgebra in Computer Science
• The category-theoretic solution of recursive program schemes
• The generative power of delegation networks

This page was built for publication: A category theoretic view of nondeterministic recursive program schemes

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