Interaction graphs: graphings

Research output: Contribution to journal › Journal article › Research › peer-review

Standard

Interaction graphs : graphings. / Seiller, Thomas.

In: Annals of Pure and Applied Logic, Vol. 168, No. 2, 02.2017, p. 278-320.

Research output: Contribution to journal › Journal article › Research › peer-review

Harvard

Seiller, T 2017, 'Interaction graphs: graphings', Annals of Pure and Applied Logic, vol. 168, no. 2, pp. 278-320. https://doi.org/10.1016/j.apal.2016.10.007

APA

Seiller, T. (2017). Interaction graphs: graphings. Annals of Pure and Applied Logic, 168(2), 278-320. https://doi.org/10.1016/j.apal.2016.10.007

Vancouver

Seiller T. Interaction graphs: graphings. Annals of Pure and Applied Logic. 2017 Feb;168(2):278-320. https://doi.org/10.1016/j.apal.2016.10.007

Author

Seiller, Thomas. / Interaction graphs : graphings. In: Annals of Pure and Applied Logic. 2017 ; Vol. 168, No. 2. pp. 278-320.

Bibtex

@article{06a1488a0c7b4654b80b29e80dd87002,
title = "Interaction graphs: graphings",
keywords = "Linear logic, Dynamic semantics, Denotational semantics, Interaction graphs, Geometry of interaction, Measurable dynamics",
author = "Thomas Seiller",
year = "2017",
month = feb,
doi = "10.1016/j.apal.2016.10.007",
language = "English",
volume = "168",
pages = "278--320",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "2",

}

RIS

TY - JOUR

T1 - Interaction graphs

T2 - graphings

AU - Seiller, Thomas

PY - 2017/2

Y1 - 2017/2

KW - Linear logic

KW - Dynamic semantics

KW - Denotational semantics

KW - Interaction graphs

KW - Geometry of interaction

KW - Measurable dynamics

U2 - 10.1016/j.apal.2016.10.007

DO - 10.1016/j.apal.2016.10.007

M3 - Journal article

VL - 168

SP - 278

EP - 320

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 2

ER -

ID: 179528258