Interaction graphs: graphings

Thomas Seiller

doi:10.1016/j.apal.2016.10.007

Interaction graphs: graphings

Thomas Seiller

Department of Computer Science

4 Citations (Scopus)

Original language	English
Journal	Annals of Pure and Applied Logic
Volume	168
Issue number	2
Pages (from-to)	278-320
Number of pages	43
ISSN	0168-0072
DOIs	https://doi.org/10.1016/j.apal.2016.10.007
Publication status	Published - 1 Feb 2017

Keywords

Linear logic
Dynamic semantics
Denotational semantics
Interaction graphs
Geometry of interaction
Measurable dynamics

Access to Document

10.1016/j.apal.2016.10.007

http://arxiv.org/pdf/1405.6331

Cite this

@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

Keywords

Access to Document

Fingerprint

Cite this