The following pages link to (Q2849884):
Displayed 7 items.
- Realizability for Peano arithmetic with winning conditions in HON games (Q345704) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Linear logic in computer science (Q2201109) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- Understanding Game Semantics Through Coherence Spaces (Q3178256) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)