Interaction graphs: graphings

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Standard

Interaction graphs : graphings. / Seiller, Thomas.

I: Annals of Pure and Applied Logic, Bind 168, Nr. 2, 02.2017, s. 278-320.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Harvard

Seiller, T 2017, 'Interaction graphs: graphings', Annals of Pure and Applied Logic, bind 168, nr. 2, s. 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. I: Annals of Pure and Applied Logic. 2017 ; Bind 168, Nr. 2. s. 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