Skip to Main content Skip to Navigation
Journal articles

Proof nets and semi-star-autonomous categories

Willem Heijltjes 1, 2, 3 Lutz Straßburger 2, 3
1 University of Bath [Bath]
2 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
3 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : In this paper it is proved that Girard’s proof nets for multiplicative linear logic characterise free semi-⋆-autonomous-categories.
Document type :
Journal articles
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
https://hal.inria.fr/hal-01092253
Contributor : Lutz Straßburger <>
Submitted on : Monday, December 8, 2014 - 2:37:28 PM
Last modification on : Wednesday, February 10, 2021 - 8:52:01 AM
Long-term archiving on: : Monday, March 9, 2015 - 11:55:32 AM

File

Vignette du document
fssac-final.pdf
Files produced by the author(s)

Identifiers

Collections

X | CNRS | INRIA | LIX | X-LIX | X-DEP-INFO

Citation

Willem Heijltjes, Lutz Straßburger. Proof nets and semi-star-autonomous categories. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2014, 26 (5), pp.1-40. ⟨10.1017/S0960129514000395⟩. ⟨hal-01092253⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

500

Files downloads

398

 

Contact                    Legal Notice                    Personal Data