Jean Goubault-Larrecq Musings around the geometry of interaction, and coherence. 1998-2014 2011 412 Theor. Comput. Sci. 20 http://dx.doi.org/10.1016/j.tcs.2010.12.023 db/journals/tcs/tcs412.html#Goubault-Larrecq11