Quantitative Game Semantics for Linear Logic.

Ugo Dal Lago, Olivier Laurent

Browse the full CSL paper archive.