20 citations · 79 across the 14 of their papers we have counts for
1 paper · 1 filter
Pierre Clairambault
We show how solutions to many recursive arena equations can be computed in a natural way by allowing loops in arenas. We then equip arenas with winning functions and total winning…