Game Semantics in the Nominal Model
From MaRDI portal
Publication:3178282
DOI10.1016/j.entcs.2012.08.012zbMath1342.68195OpenAlexW2105865521WikidataQ113318080 ScholiaQ113318080MaRDI QIDQ3178282
Dan R. Ghica, Murdoch James Gabbay
Publication date: 8 July 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.08.012
Applications of game theory (91A80) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Related Items (2)
Game semantics approach to higher-order complexity ⋮ Latent semantic analysis of game models using LSTM
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new approach to abstract syntax with variable binding
- Nominal techniques in Isabelle/HOL
- Games and full abstraction for FPC.
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- A general mathematics of names
- Angelic semantics of fine-grained concurrency
- A game semantics of names and pointers
- Games: Unifying logic, language, and philosophy
- Freshness and Name-Restriction in Sets of Traces with Names
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
- Constructing Differential Categories and Deconstructing Categories of Games
- A System-Level Game Semantics
- Meta-variables as infinite lists in nominal terms unification and rewriting
- CONCUR 2004 - Concurrency Theory
- Nominal Renaming Sets
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Game Semantics in the Nominal Model