In this paper it is proved that Girard’s proof nets for multiplicative linear logic characterise free semi-⋆-autonomous-categories.
from HAL : Dernières publications http://ift.tt/12MoVfr
from HAL : Dernières publications http://ift.tt/12MoVfr
jeudi 5 février 2015
Inscription à :
Publier les commentaires (Atom)
0 commentaires:
Enregistrer un commentaire