Discreet Games, Light Affine Logic and PTIME Computation.

Andrzej S. Murawski, C.-H. Luke Ong

Browse the full CSL paper archive.