The following pages link to (Q3416824):
Displayed 9 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)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← 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)