The following pages link to (Q4225147):
Displaying 21 items.
- A game-theoretic framework for specification and verification of cryptographic protocols (Q607405) (← links)
- Totality in arena games (Q636307) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- A general theory of action languages (Q1286273) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Exhausting strategies, joker games and full completeness for IMLL with unit (Q1398468) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- Polarized games (Q1886321) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- Interface synthesis and protocol conversion (Q2481210) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- Game Semantics and the Manifestation Thesis (Q2908761) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Least and Greatest Fixpoints in Game Semantics (Q3617718) (← links)
- Probabilistic behaviours of reactive agents (Q4923528) (← links)
- Dynamic game semantics (Q4988428) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Introducing Reactive Kripke Semantics and Arc Accessibility (Q5452184) (← links)
- A Theory for Game Theories (Q5458834) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)
