Pages that link to "Item:Q1360314"
From MaRDI portal
The following pages link to A parallel game semantics for linear logic (Q1360314):
Displaying 9 items.
- Imperative programs as proofs via game semantics (Q388203) (← links)
- A game semantics for linear logic (Q1192350) (← links)
- Interpreting sequent calculi as client-server games (Q1694453) (← links)
- Asynchronous games 3 an innocent model of linear logic (Q2849884) (← links)
- Some semantical aspects of linear logic (Q4353717) (← links)
- The Parallel Intensionally Fully Abstract Games Model of PCF (Q4635807) (← links)
- Concurrent Separation Logic Meets Template Games (Q5145677) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187859) (← links)
- Linear Logic Proof Games and Optimization (Q5689264) (← links)