The following pages link to Polarized games (Q1886321):
Displayed 20 items.
- Safe recursion revisited. I: Categorical semantics for lower complexity (Q386608) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Computational ludics (Q534713) (← links)
- Totality in arena games (Q636307) (← links)
- Game semantics and linear CPS interpretation (Q1770417) (← links)
- On dialogue games and graph games (Q2130592) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- Locally Boolean domains (Q2566030) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- On the Meaning of Focalization (Q3080087) (← links)
- From Focalization of Logic to the Logic of Focalization (Q3178251) (← links)
- A Categorical Setting for Lower Complexity (Q3178259) (← links)
- An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184) (← links)
- On the Meaning of Logical Completeness (Q3637186) (← links)
- Thick Subtrees, Games and Experiments (Q3637187) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- Dynamic game semantics (Q4988428) (← links)
- Infinitary affine proofs (Q5268998) (← links)