Pages that link to "Item:Q3416824"
From MaRDI portal
The following pages link to Polarized category theory, modules, and game semantics (Q3416824):
Displaying 13 items.
- Safe recursion revisited. I: Categorical semantics for lower complexity (Q386608) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Polarized games (Q1886321) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- Constructing Differential Categories and Deconstructing Categories of Games (Q3012919) (← links)
- A Categorical Setting for Lower Complexity (Q3178259) (← links)
- An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- A Theory for Game Theories (Q5458834) (← links)
- Lambek-Grishin calculus: focusing, display and full polarization (Q6612800) (← links)