The Bang Calculus and the Two Girard's Translations

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

18 Citations (SciVal)

Original language	English
Pages (from-to)	15-30
Number of pages	16
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	292
DOIs	https://doi.org/10.4204/EPTCS.292.2
Publication status	Published - 15 Apr 2019

Access to Document

@article{69aabccdbc5d454fb36e6f4fb005d968,

title = "The Bang Calculus and the Two Girard's Translations",

author = "Giulio Guerrieri and Giulio Manzonetto",

year = "2019",

month = apr,

day = "15",

doi = "10.4204/EPTCS.292.2",

language = "English",

volume = "292",

pages = "15--30",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - The Bang Calculus and the Two Girard's Translations

AU - Guerrieri, Giulio

AU - Manzonetto, Giulio

PY - 2019/4/15

Y1 - 2019/4/15

U2 - 10.4204/EPTCS.292.2

DO - 10.4204/EPTCS.292.2

M3 - Conference article

SN - 2075-2180

VL - 292

SP - 15

EP - 30

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

ER -