A Category Theoretic View of Nondeterministic Recursive Program Schemes.

DOI10.4230/LIPICS.CSL.2011.496zbMath1247.68062OpenAlexW2261320746MaRDI QIDQ2915707

Daniel Schwencke

Publication date: 18 September 2012

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

zbMATH Keywords

final coalgebranondeterminismdistributive lawrecursive program schemepowerset monad

Mathematics Subject Classification ID

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

Related Items (1)

The generative power of delegation networks

This page was built for publication: A Category Theoretic View of Nondeterministic Recursive Program Schemes.