On Final Coalgebras of Power-Set Functors and Saturated Trees To George Janelidze on the Occasion of His Sixtieth Birthday (2014)
Attributed to:
Semantics of Nondeterminism: Functions, Strategies and Bisimulation
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/s10485-014-9372-9
Publication URI: http://dx.doi.org/10.1007/s10485-014-9372-9
Type: Journal Article/Review
Parent Publication: Applied Categorical Structures
Issue: 4