Interaction graphs: graphings

Thomas Seiller

doi:10.1016/j.apal.2016.10.007

Interaction graphs: graphings

Thomas Seiller

Datalogisk Institut

4 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 - 1 feb. 2017

Adgang til dokumentet

10.1016/j.apal.2016.10.007

http://arxiv.org/pdf/1405.6331

Citationsformater

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

day = "1",

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/1

Y1 - 2017/2/1

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

SN - 0168-0072

VL - 168

SP - 278

EP - 320

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 2

ER -

Interaction graphs: graphings

Adgang til dokumentet

Fingeraftryk

Citationsformater