| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Proof nets and semi-star-autonomous categories
Abstract : In this paper it is proved that Girard’s proof nets for multiplicative linear logic characterise free semi-⋆-autonomous-categories.
Cited literature [21 references]
https://hal.inria.fr/hal-01092253
Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Monday, December 8, 2014 - 2:37:28 PM
Last modification on : Wednesday, February 2, 2022 - 3:57:14 PM
Long-term archiving on: : Monday, March 9, 2015 - 11:55:32 AM
Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Monday, December 8, 2014 - 2:37:28 PM
Last modification on : Wednesday, February 2, 2022 - 3:57:14 PM
Long-term archiving on: : Monday, March 9, 2015 - 11:55:32 AM
File
fssac-final.pdf
Files produced by the author(s)