(with Hugo Herbelin) Abstract machines for dialogue games (final version has appeared in the volume Interactive models of computation and program behaviour, Panoramas et Synthèses 27, Société Mathématique de France (2009).

Operads, clones, and distributive laws , Proc. of the International Conference on Operads and Universal Algebra,
Nankai Series in Pure, Applied Mathematics and
Theoretical Physics, Vol. 9, World Scientific, Singapore, 25-50 (2012).

(with Guillaume Munch-Maccagnoni) The duality of computation under focus , version of June 2010, slightly more expanded than the version published in the Proc. of IFIP TCS Conference 2010, IFIP Advances in Information and Communication Technology, vol. 323, Springer (2010).