Strong functors and interleaving fixpoints in game semantics Pierre Clairambault RAIRO-Theor. Inf. Appl., 47 1 (2013) 25-68 Published online: 10 January 2013 DOI: 10.1051/ita/2012028