Pages that link to "Item:Q4461213"
From MaRDI portal
The following pages link to Sequentiality vs. concurrency in games and logic (Q4461213):
Displaying 16 items.
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Classical proof forestry (Q636369) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- Non-angelic concurrent game semantics (Q1652962) (← links)
- Asynchronous games. II: The true concurrency of innocence (Q2503039) (← links)
- A Mathematical Game Semantics of Concurrency and Nondeterminism (Q2787451) (← links)
- Event domains, stable functions and proof-nets (Q2864146) (← links)
- On the Meaning of Focalization (Q3080087) (← links)
- From Focalization of Logic to the Logic of Focalization (Q3178251) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- (Q5089024) (← links)
- Concurrent Separation Logic Meets Template Games (Q5145677) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Compositionality in context (Q6612797) (← links)