Interaction graphs: graphings

Thomas Seiller

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

8 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Annals of Pure and Applied Logic
Vol/bind	168
Udgave nummer	2
Sider (fra-til)	278-320
Antal sider	43
ISSN	0168-0072
DOI	https://doi.org/10.1016/j.apal.2016.10.007
Status	Udgivet - feb. 2017

Adgang til dokumentet

@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",

}

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 -