Exhausting strategies, joker games and full completeness for IMLL with unit
type: Item
instance of: scholarly article
title: Exhausting strategies, joker games and full completeness for IMLL with unit
zbMATH Open document ID: 1029.03053
DOI: 10.1016/S0304-3975(01)00244-4
author: D. Massart
published in: Theoretical Computer Science
publication date: 2003-07-29T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 1956193
zbMATH Keywords: full completeness
zbMATH Keywords: multiplicative linear logic
zbMATH Keywords: symmetric monoidal closed categories
MaRDI profile type: Publication
cites work: Q4225147
cites work: Games and full completeness for multiplicative linear logic
cites work: *-Autonomous categories and linear logic
cites work: Natural deduction and coherence for weakly distributive categories
cites work: Linear Läuchli semantics
cites work: Q4342439
cites work: Linear logic
cites work: On full abstraction for PCF: I, II and III
cites work: Coherence in closed categories
cites work: Q4499227
Recommended article: Q4499223
Recommended article: Perfect strategies for the Ulam-Rényi game with multi-interval questions
Recommended article: Q3793976
Recommended article: Exact satisfiabitity with jokers
Recommended article: Complete Exhaustive Sieves and Games
Recommended article: Q4372463
Recommended article: Finding all equilibria in games of strategic complements
Recommended article: Maximin play in completely mixed strategic games
Recommended article: Q3381181
description: scientific article; zbMATH DE number 1956193