The following pages link to (Q4499228):
Displaying 9 items.
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- Understanding Game Semantics Through Coherence Spaces (Q3178256) (← links)
- (Q5028431) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Monoidal reverse differential categories (Q5889303) (← links)
- Representable Markov categories and comparison of statistical experiments in categorical probability (Q6039894) (← links)
