Nathan Bowler, Paul Blain Levy, Gordon D. Plotkin. Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies. Electronic Notes in Theoretical Computer Science, 341:23-44, 2018. [doi]
No reviews for this publication, yet.