Believe it or not, AJM's games model is a model of classical linear logic

P. Baillot; V. Danos; T. Ehrhard; L. Regnier

doi:10.1109/LICS.1997.614933

Believe it or not, AJM's games model is a model of classical linear logic

P. Baillot, V. Danos, T. Ehrhard, L. Regnier

Research output: Contribution to journal › Article › peer-review

Abstract / Description of output

A general category of games is constructed. A subcategory of saturated strategies, closed under all possible codings in copy games, is shown to model reduction in classical linear logic.

Original language	English
Pages (from-to)	68
Number of pages	1
Journal	Logic in Computer Science, Symposium on
Volume	0
DOIs	https://doi.org/10.1109/LICS.1997.614933
Publication status	Published - 1997

Access to Document

10.1109/LICS.1997.614933

http://www.computer.org/csdl/proceedings/lics/1997/7925/00/79250068-abs.html

Cite this

@article{7decb64ff51547ad80dc020aeccb1717,

title = "Believe it or not, AJM's games model is a model of classical linear logic",

abstract = "A general category of games is constructed. A subcategory of saturated strategies, closed under all possible codings in copy games, is shown to model reduction in classical linear logic.",

author = "P. Baillot and V. Danos and T. Ehrhard and L. Regnier",

year = "1997",

doi = "10.1109/LICS.1997.614933",

language = "English",

volume = "0",

pages = "68",

journal = "Logic in Computer Science, Symposium on",

issn = "1043-6871",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Believe it or not, AJM's games model is a model of classical linear logic

AU - Baillot, P.

AU - Danos, V.

AU - Ehrhard, T.

AU - Regnier, L.

PY - 1997

Y1 - 1997

N2 - A general category of games is constructed. A subcategory of saturated strategies, closed under all possible codings in copy games, is shown to model reduction in classical linear logic.

AB - A general category of games is constructed. A subcategory of saturated strategies, closed under all possible codings in copy games, is shown to model reduction in classical linear logic.

U2 - 10.1109/LICS.1997.614933

DO - 10.1109/LICS.1997.614933

M3 - Article

SN - 1043-6871

VL - 0

SP - 68

JO - Logic in Computer Science, Symposium on

JF - Logic in Computer Science, Symposium on

ER -

Believe it or not, AJM's games model is a model of classical linear logic

Abstract / Description of output

Access to Document

Fingerprint

Cite this