Sciweavers

LICS
2002
IEEE
13 years 10 months ago
Polarized Games
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
Olivier Laurent