Pages that link to "Item:Q866570"
From MaRDI portal
The following pages link to A categorical semantics for polarized MALL (Q866570):
Displaying 10 items.
- Safe recursion revisited. I: Categorical semantics for lower complexity (Q386608) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← 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)
- Polarized category theory, modules, and game semantics (Q3416824) (← links)
- An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- Lambek-Grishin calculus: focusing, display and full polarization (Q6612800) (← links)