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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : In this paper it is proved that Girard’s proof nets for multiplicative linear logic characterise free semi-⋆-autonomous-categories.
Type de document :
Article dans une revue
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2014, pp.1-40. 〈http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9408277&fileId=S0960129514000395〉. 〈10.1017/S0960129514000395〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01092253
Contributeur : Lutz Straßburger <>
Soumis le : lundi 8 décembre 2014 - 14:37:28
Dernière modification le : jeudi 10 mai 2018 - 02:06:58
Document(s) archivé(s) le : lundi 9 mars 2015 - 11:55:32

Fichier

fssac-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

X | INRIA | LIX | X-LIX | PARISTECH | 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, pp.1-40. 〈http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9408277&fileId=S0960129514000395〉. 〈10.1017/S0960129514000395〉. 〈hal-01092253〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

101

Contact


archive-ouverte@inria.fr