Exhausting strategies, joker games and full completeness for IMLL with unit

DOI10.1016/S0304-3975(01)00244-4zbMath1029.03053MaRDI QIDQ1398468

D. Massart

Publication date: 29 July 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

full completenessmultiplicative linear logicsymmetric monoidal closed categories

Mathematics Subject Classification ID

Applications of game theory (91A80) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Coherence in SMCCs and equivalences on derivations in IMML with unit, Weak typed Böhm theorem on IMLL, Unnamed Item, Simple free star-autonomous categories and full coherence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Natural deduction and coherence for weakly distributive categories
• On full abstraction for PCF: I, II and III
• Linear Läuchli semantics
• Coherence in closed categories
• *-Autonomous categories and linear logic
• Games and full completeness for multiplicative linear logic