2 search results - page 1 / 1 » The Anatomy of Innocence |
69
Voted
CSL
2001
Springer
15 years 2 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...
71
Voted
FSTTCS
2006
Springer
15 years 1 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and