Proof nets and semi-*-autonomous categories

Willem Heijltjes; Lutz Strassburger

doi:10.1017/S0960129514000395

Proof nets and semi-*-autonomous categories

Willem Heijltjes, Lutz Strassburger

École Polytechnique

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper it is proved that Girard's proof nets for multiplicative
linear logic characterise free semi-star-autonomous-categories.

Original language	English
Pages (from-to)	789-828
Number of pages	40
Journal	Mathematical Structures in Computer Science
Volume	26
Issue number	5
Early online date	10 Nov 2014
DOIs	https://doi.org/10.1017/S0960129514000395
Publication status	Published - 1 Jun 2016

Access to Document

10.1017/S0960129514000395

Cite this

@article{776a9c19f1cb4c51b6a773c157eac376,

title = "Proof nets and semi-*-autonomous categories",

abstract = "In this paper it is proved that Girard's proof nets for multiplicativelinear logic characterise free semi-star-autonomous-categories.",

author = "Willem Heijltjes and Lutz Strassburger",

year = "2016",

month = jun,

day = "1",

doi = "10.1017/S0960129514000395",

language = "English",

volume = "26",

pages = "789--828",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "5",

}

TY - JOUR

T1 - Proof nets and semi-*-autonomous categories

AU - Heijltjes, Willem

AU - Strassburger, Lutz

PY - 2016/6/1

Y1 - 2016/6/1

N2 - In this paper it is proved that Girard's proof nets for multiplicativelinear logic characterise free semi-star-autonomous-categories.

AB - In this paper it is proved that Girard's proof nets for multiplicativelinear logic characterise free semi-star-autonomous-categories.

UR - http://dx.doi.org/10.1017/S0960129514000395

U2 - 10.1017/S0960129514000395

DO - 10.1017/S0960129514000395

M3 - Article

SN - 0960-1295

VL - 26

SP - 789

EP - 828

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 5

ER -

Proof nets and semi-*-autonomous categories

Abstract

Access to Document

Other files and links

Fingerprint

Cite this