288 search results - page 8 / 58 » Nominal Game Semantics |
ACL
2012
12 years 1 days 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. ...
APLAS
2006
ACM
14 years 3 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...
APAL
2008
13 years 9 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...
LICS
2005
IEEE
14 years 3 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 ...
FSTTCS
2006
Springer
14 years 1 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and