Resource modalities in game semantics.

Paul-Andr Mellis, Nicolas Tabareau

Browse the full LICS paper archive.