2011 IEEE 26th Annual Symposium on Logic in Computer Science 2011
DOI: 10.1109/lics.2011.31
|View full text |Cite
|
Sign up to set email alerts
|

Game Semantics for Good General References

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
33
0

Year Published

2012
2012
2023
2023

Publication Types

Select...
5
3
1

Relationship

3
6

Authors

Journals

citations
Cited by 29 publications
(33 citation statements)
references
References 24 publications
0
33
0
Order By: Relevance
“…Normal form bisimulations draw much inspiration from gamesemantics models [25], and our distinction between global and local knowledge has a seemingly gamey flavor as well. We leave a deeper study of the connection to game semantics to future work.…”
Section: Related Work and Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…Normal form bisimulations draw much inspiration from gamesemantics models [25], and our distinction between global and local knowledge has a seemingly gamey flavor as well. We leave a deeper study of the connection to game semantics to future work.…”
Section: Related Work and Discussionmentioning
confidence: 99%
“…A variety of promising techniques have emerged [29,36,19,20,34,33,23,5,35,12,25], and while some of these methods are denotational, most support direct reasoning about the operational semantics of programs. In particular, there has been a healthy rivalry between techniques based on Kripke logical relations (KLRs) [29,5,26,13,12,17,37] and bisimulations [36,19,34,33,23,35].…”
Section: Introductionmentioning
confidence: 99%
“…Note as well that j • i is the identity translation. Putting all of these together, if M is a closed term of L + , we have: [25] suggests that to get back the original name when going back and forth between var[A] and var[B] one has no choice but to simply forward it, which is only possible when A and B are syntactically equal. Therefore we expect that a general treatment of isomorphisms with good general references would have to treat variable types as atoms, that you can move around but never look inside.…”
Section: Isomorphisms and Bad Variablesmentioning
confidence: 99%
“…Game semantics is compositional: the strategy corresponding to a compound program phrase is obtained by canonical combinations of those corresponding to its sub-phrases. An important advance in game semantics was the development of nominal games [3,17,26], which underpinned full abstraction results for languages with dynamic generative behaviours, such as the ⌫-calculus [3], higher-order concurrency [18] and ML references [24]. A distinctive feature of nominal game models is the presence of names (e.g.…”
Section: Introductionmentioning
confidence: 99%