The following pages link to Linear Läuchli semantics (Q1919529):
Displayed 12 items.
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Coherent phase spaces. Semiclassical semantics (Q705538) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Exhausting strategies, joker games and full completeness for IMLL with unit (Q1398468) (← links)
- Chu spaces as a semantic bridge between linear logic and mathematics. (Q1398475) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
- Geometrical semantics for linear logic (multiplicative fragment) (Q2500490) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- (Q4222829) (← links)
- The shuffle Hopf algebra and noncommutative full completeness (Q4254690) (← links)