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
Actions
Authors
Funding
+ Overseas Research Student Award ; Scatcherd European Scholarship
More from this funder
Funding agency for:
Murawski, A
Grant:
98032135
EU TMR program
More from this funder
LINEAR
More from this funder
Bibliographic Details
- Publisher:
- Elsevier Publisher's website
- Journal:
- Theoretical Computer Science Journal website
- Volume:
- 294
- Issue:
- 1-2
- Pages:
- 269–305
- Publication date:
- 2003-02-01
- ISSN:
-
0304-3975
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:837c07ab-3f66-4040-bc24-bedb44aa9b35
- Local pid:
- ora:10777
- Deposit date:
- 2015-03-31
Related Items
Terms of use
- Copyright holder:
- Elsevier BV
- Copyright date:
- 2002
- Notes:
- Copyright 2002 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at http://www.elsevier.com/open-access/userlicense/1.0/
- Licence:
- Other
If you are the owner of this record, you can report an update to it here: Report update to this record