Musings around the geometry of interaction, and coherence

Jean Goubault-Larrecq. Musings around the geometry of interaction, and coherence. Theoretical Computer Science, 412(20):1998-2014, 2011. [doi]

Abstract

Abstract is missing.