The Space of Interaction.

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Browse the full LICS paper archive.