Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics

William John Gowers, James Laird. Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. In Filippo Bonchi, Barbara König 0001, editors, 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. Volume 72 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

William John Gowers

This author has not been identified. Look up 'William John Gowers' in Google

James Laird

This author has not been identified. Look up 'James Laird' in Google