Login / Signup

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

William John GowersJames Laird
Published in: CALCO (2017)
Keyphrases