Journal article icon

Journal article

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

Abstract:

We present a game description of free symmetric monoidal closed categories, which can also be viewed as a fully complete model for Intuitionistic multiplicative linear logic with the tensor unit. We model the unit by a distinguished one-move game called Joker. Special rules apply to the joker move. Proofs are modelled by what we call conditionally exhausting strategies, which are deterministic and total only at positions where no joker move exists in the immediate neighbourh...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Oxford college:
Merton College
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
Role:
Author
EU TMR program More from this funder
Publisher:
Elsevier Publisher's website
Journal:
Theoretical Computer Science Journal website
Volume:
294
Issue:
1-2
Pages:
269–305
Publication date:
2003-02-05
ISSN:
0304-3975
URN:
uuid:837c07ab-3f66-4040-bc24-bedb44aa9b35
Local pid:
ora:10777

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP