6355 search results - page 43 / 1271 » From Logic to Games |
CSL
2008
Springer
14 years 11 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
DAGSTUHL
2006
14 years 11 months ago
2006
FSS
2007
14 years 9 months ago
2007
SYNTHESE
2008
14 years 9 months ago
2008
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Can a set of articulated and tested methodologies be created whose endpoint is the reliable capacity for taking activist social themes into account? In this paper we explore a var...