Game semantics
From MaRDI portal
Recommendations
Cited in
(49)- Dialogue games for many-valued logics -- an overview
- Game ideals
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Descriptions of game actions
- Full abstraction for PCF
- Comparing hierarchies of types in models of linear logic
- Morphisms of open games
- Leafy automata for higher-order concurrency
- Game semantics approach to higher-order complexity
- Latent semantic analysis of game models using LSTM
- An infinite-game semantics for well-founded negation in logic programming
- Decidability and syntactic control of interference
- Asynchronous games. II: The true concurrency of innocence
- Games for complexity of second-order call-by-name programs
- Sequential algorithms and strongly stable functions
- Contracts as games on event structures
- Contextual approximation and higher-order procedures
- Definability and full abstraction
- A Semantical Approach to Equilibria and Rationality
- Game semantics and normalization by evaluation
- Game semantics and uniqueness of type inhabitance in the simply-typed -calculus
- Geometry of synthesis. II: From games to delay-insensitive circuits
- A Graphical Foundation for Schedules
- Interpreting Localized Computational Effects Using Operators of Higher Type
- Thick Subtrees, Games and Experiments
- A game semantics for disjunctive logic programming
- scientific article; zbMATH DE number 1241700 (Why is no real title available?)
- Games and full abstraction for a functional metalanguage with recursive types
- The recursion hierarchy for PCF is strict
- Game theoretical semantics for some non-classical logics
- scientific article; zbMATH DE number 6821556 (Why is no real title available?)
- A graphical foundation for interleaving in game semantics
- Regular-language semantics for a call-by-value programming language
- Dynamic game semantics
- A game theoretical semantics for logics of nonsense
- Higher-order linearisability
- Logic and geometry of agents in agent-based modeling
- On game ideals
- Preface to the special volume
- Functions with local state: regularity and undecidability
- Programming language semantics: It’s easy as 1,2,3
- Game semantics of Martin-Löf type theory
- Grounding game semantics in categorical algebra
- The far side of the cube. An elementary introduction to game semantics
- The game semantics of game theory
- Closing Bell boxing black box simulations in the resource theory of contextuality
- Truth diagrams for some non-classical and modal logics
- Symbolic execution game semantics
- A compositional theory of linearizability
This page was built for publication: Game semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263830)
