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 completeness; multiplicative linear logic; symmetric monoidal closed categories

Mathematics Subject Classification ID

91A80: Applications of game theory

03G30: Categorical logic, topoi

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

03F52: Proof-theoretic aspects of linear logic and other substructural logics