4 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a ``topological'' game for Multiplicative Additive Linear Logic without p…