Timeless games

Patrick Baillot; Vincent Danos; Thomas Ehrhard; Laurent Regnier

doi:10.1007/BFb0028007

Timeless games

Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

Two models of classical linear logic are set up. First our recent version of AJM games model which will be our source model. Then the target model, polarized pointed relations, a variant of the plain relational model which is constructed in two steps: first the model of pointed relations, then the additional polarization structure which yields a proper duality. Then the natural time-forgetting map is shown to generate a lax functor from the source to the target. Finally a further refinement of the target model using bipolarities is sketched, giving a closer link with the games model for the interpretation of syntax. Thus a bridge is constructed that goes from a dynamic model to a static model of evaluation.

Original language	English
Title of host publication	Computer Science Logic
Subtitle of host publication	11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
Editors	Mogens Nielsen, Wolfgang Thomas
Publisher	Springer
Pages	56-77
Number of pages	22
Volume	1414
ISBN (Electronic)	978-3-540-69353-6
ISBN (Print)	978-3-540-64570-2
DOIs	https://doi.org/10.1007/BFb0028007
Publication status	Published - 1998

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	1414

Access to Document

10.1007/BFb0028007

http://dx.doi.org/10.1007/BFb0028007

Cite this

Baillot, P., Danos, V., Ehrhard, T., & Regnier, L. (1998). Timeless games. In M. Nielsen, & W. Thomas (Eds.), Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers (Vol. 1414, pp. 56-77). (Lecture Notes in Computer Science; Vol. 1414). Springer. https://doi.org/10.1007/BFb0028007

@inproceedings{6c2395deecc84c478c6da665ed8bc0be,

title = "Timeless games",

abstract = "Two models of classical linear logic are set up. First our recent version of AJM games model which will be our source model. Then the target model, polarized pointed relations, a variant of the plain relational model which is constructed in two steps: first the model of pointed relations, then the additional polarization structure which yields a proper duality. Then the natural time-forgetting map is shown to generate a lax functor from the source to the target. Finally a further refinement of the target model using bipolarities is sketched, giving a closer link with the games model for the interpretation of syntax. Thus a bridge is constructed that goes from a dynamic model to a static model of evaluation.",

author = "Patrick Baillot and Vincent Danos and Thomas Ehrhard and Laurent Regnier",

year = "1998",

doi = "10.1007/BFb0028007",

language = "English",

isbn = "978-3-540-64570-2",

volume = "1414",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "56--77",

editor = "Mogens Nielsen and Wolfgang Thomas",

booktitle = "Computer Science Logic",

address = "United Kingdom",

}

Timeless games. / Baillot, Patrick; Danos, Vincent; Ehrhard, Thomas et al.
Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers. ed. / Mogens Nielsen; Wolfgang Thomas. Vol. 1414 Springer, 1998. p. 56-77 (Lecture Notes in Computer Science; Vol. 1414).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Timeless games

AU - Baillot, Patrick

AU - Danos, Vincent

AU - Ehrhard, Thomas

AU - Regnier, Laurent

PY - 1998

Y1 - 1998

N2 - Two models of classical linear logic are set up. First our recent version of AJM games model which will be our source model. Then the target model, polarized pointed relations, a variant of the plain relational model which is constructed in two steps: first the model of pointed relations, then the additional polarization structure which yields a proper duality. Then the natural time-forgetting map is shown to generate a lax functor from the source to the target. Finally a further refinement of the target model using bipolarities is sketched, giving a closer link with the games model for the interpretation of syntax. Thus a bridge is constructed that goes from a dynamic model to a static model of evaluation.

AB - Two models of classical linear logic are set up. First our recent version of AJM games model which will be our source model. Then the target model, polarized pointed relations, a variant of the plain relational model which is constructed in two steps: first the model of pointed relations, then the additional polarization structure which yields a proper duality. Then the natural time-forgetting map is shown to generate a lax functor from the source to the target. Finally a further refinement of the target model using bipolarities is sketched, giving a closer link with the games model for the interpretation of syntax. Thus a bridge is constructed that goes from a dynamic model to a static model of evaluation.

U2 - 10.1007/BFb0028007

DO - 10.1007/BFb0028007

M3 - Conference contribution

SN - 978-3-540-64570-2

VL - 1414

T3 - Lecture Notes in Computer Science

SP - 56

EP - 77

BT - Computer Science Logic

A2 - Nielsen, Mogens

A2 - Thomas, Wolfgang

PB - Springer

ER -

Timeless games

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this