Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies

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]

Abstract

Abstract is missing.