Strong functors and interleaving fixpoints in game semanticsPierre ClairambaultRAIRO-Theor. Inf. Appl., 47 1 (2013) 25-68DOI: https://doi.org/10.1051/ita/2012028
