Graphical Presentations of Symmetric Monoidal Closed Theories - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2008

Graphical Presentations of Symmetric Monoidal Closed Theories

Résumé

We define a notion of symmetric monoidal closed (SMC) theory, consisting of a SMC signature augmented with equations, and describe the classifying categories of such theories in terms of proof nets.
Fichier principal
Vignette du fichier
smcc.pdf (178.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00333750 , version 1 (24-10-2008)
hal-00333750 , version 2 (08-06-2009)

Identifiants

Citer

Richard Garner, Tom Hirschowitz, Aurélien Pardon. Graphical Presentations of Symmetric Monoidal Closed Theories. 2008. ⟨hal-00333750v2⟩
340 Consultations
324 Téléchargements

Altmetric

Partager

More