Proof nets and semi-star-autonomous categories - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2014

Proof nets and semi-star-autonomous categories

Résumé

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

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
fssac-final.pdf (422.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Lutz Straßburger  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01092253

Soumis le : lundi 8 décembre 2014-14:37:28

Dernière modification le : mercredi 21 février 2024-12:42:22

Archivage à long terme le : lundi 9 mars 2015-11:55:32

Télécharger pour visualiser

Dates et versions

hal-01092253 , version 1 (08-12-2014)

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
420 Consultations
268 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More