The following pages link to (Q4823132):
Displaying 8 items.
- Functions with local state: regularity and undecidability (Q557802) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- An approach to deciding the observational equivalence of Algol-like languages (Q1886322) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- Games for complexity of second-order call-by-name programs (Q2570133) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)