The following pages link to (Q4263830):
Displaying 25 items.
- Contracts as games on event structures (Q272306) (← links)
- A game semantics for disjunctive logic programming (Q388214) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Preface to the special volume (Q534064) (← links)
- Functions with local state: regularity and undecidability (Q557802) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- Morphisms of open games (Q2134815) (← links)
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- An infinite-game semantics for well-founded negation in logic programming (Q2474440) (← links)
- Decidability and syntactic control of interference (Q2481977) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- Games for complexity of second-order call-by-name programs (Q2570133) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- Contextual Approximation and Higher-Order Procedures (Q2811338) (← links)
- A Semantical Approach to Equilibria and Rationality (Q2888496) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
- Geometry of Synthesis II: From Games to Delay-Insensitive Circuits (Q3178261) (← links)
- A Graphical Foundation for Schedules (Q3178289) (← links)
- (Q5111648) (← links)
- Programming language semantics: It’s easy as 1,2,3 (Q6065508) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)
