2 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
Yoàv Montacute, Glynn Winskel
Spoiler-Duplicator games are used in finite model theory to examine the expressive power of logics. Their strategies have recently been reformulated as coKleisli maps of game comon…