288 search results - page 8 / 58 » Nominal Game Semantics |
157
click to vote
ACL
2012
13 years 6 months ago
2012
“Lightweight” semantic annotation of text calls for a simple representation, ideally without requiring a semantic lexicon to achieve good coverage in the language and domain. ...
144
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
115
click to vote
APAL
2008
15 years 4 months ago
2008
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question i...
119
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...
125
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and