scientific article; zbMATH DE number 1241697

zbMath0938.91500MaRDI QIDQ4225147

Samson Abramsky

Publication date: 18 May 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

2-person games (91A05) Semantics in the theory of computing (68Q55)

Related Items

Polarized games ⋮ Game Semantics and the Manifestation Thesis ⋮ A game-theoretic framework for specification and verification of cryptographic protocols ⋮ Glueing and orthogonality for models of linear logic ⋮ Exhausting strategies, joker games and full completeness for IMLL with unit ⋮ Latent semantic analysis of game models using LSTM ⋮ Interpreting Localized Computational Effects Using Operators of Higher Type ⋮ Game semantics of Martin-Löf type theory ⋮ Totality in arena games ⋮ Interface synthesis and protocol conversion ⋮ Probabilistic behaviours of reactive agents ⋮ A game semantics for generic polymorphism ⋮ Introducing Reactive Kripke Semantics and Arc Accessibility ⋮ Least and Greatest Fixpoints in Game Semantics ⋮ Game Semantics for Access Control ⋮ A Theory for Game Theories ⋮ Bi-inductive structural semantics ⋮ Monoidal-closed categories of tree automata ⋮ Dynamic game semantics ⋮ A game-semantic model of computation ⋮ A general theory of action languages