Estimation of the Length of Interactions in Arena Game Semantics.

Pierre Clairambault

Browse the full FOSSACS paper archive.