Pages that link to "Item:Q2570132"
From MaRDI portal
The following pages link to Syntax vs. semantics: A polarized approach (Q2570132):
Displaying 7 items.
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- Preface to the special volume (Q534064) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Rewritings for Polarized Multiplicative and Exponential Proof Structures (Q2870318) (← links)
- Thick Subtrees, Games and Experiments (Q3637187) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
