Games Semantics for Linear Logic

Yves Lafont, Thomas Streicher

Browse the full LICS paper archive.