Game semantics

Known as: Dialogic logic, Dialogical logic, Dialogue logic 
Game semantics (German: dialogische Logik, translated as dialogical logic) is an approach to formal semantics that grounds the concepts of truth or… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We present a formal correspondence between Laird’s trace semantics and the nominal game model of Murawski and Tzevelekos for… (More)
Is this relevant?
2012
2012
Game semantics is a trace-like denotational semantics for programming languages where the notion of legal observable behaviour of… (More)
  • figure 2
Is this relevant?
2011
2011
We employ automata over infinite alphabets to capture the semantics of a finitary fragment of ML with ground-type references. Our… (More)
  • figure 1
Is this relevant?
2011
2011
We present a new fully abstract and effectively presentable denotational model for RefML, a paradigmatic higher-order programming… (More)
  • figure 1
Is this relevant?
2008
2008
The aim of this paper is to give an alternative description of the game semantics (). The main idea is to mimic, in the game… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may… (More)
Is this relevant?
2005
2005
We study extensional models of the untyped lambda calculus in the setting of the game semantics introduced by Abramsky, Hyland et… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
A games model of a programming language with higher-order st ore in the style of ML-references is introduced. The categor y used… (More)
  • figure 5
  • figure 6
Is this relevant?
1996
1996
The inreraciioii processes at work iii Hylund arid Oizg (HO) urid Abrniiisky, .laguciee.snii uiidMulmaria (A.JM) new game… (More)
  • figure 2
  • figure 1
  • figure 4
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Blass, A., A game semantics for linear logic, Annals of Pure and Applied Logic 56 (1992) 183-220. We present a game (or dialogue… (More)
  • table 1
Is this relevant?