The following pages link to Linear Läuchli semantics (Q1919529):
Displaying 21 items.
- Modeling linear logic with implicit functions (Q392296) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Coherent phase spaces. Semiclassical semantics (Q705538) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Läuchli's completeness theorem from a topos-theoretic perspective (Q969688) (← links)
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings (Q1027645) (← 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)
- Linear future semantics and its implementation (Q1822488) (← 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)
- Semantics of linear/modal lambda calculus (Q4934238) (← links)
- Pregroup Grammars, Their Syntax and Semantics (Q5014601) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- Bounded Linear Types in a Resource Semiring (Q5410708) (← links)
- Relational Models for the Lambek Calculus with Intersection and Constants (Q6178715) (← links)
