2 search results - page 1 / 1 » The Anatomy of Innocence |
CSL
2001
Springer
13 years 9 months ago
2001
Springer
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definabilit...
FSTTCS
2006
Springer
13 years 8 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and