Game Semantics in the Nominal Model

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

zbMATH Keywords

equivariancegame semanticsnominal setsnominal abstractionnominal coabstraction

Mathematics Subject Classification ID

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

• Nominal Isabelle

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