Graphical Presentations of Symmetric Monoidal Closed Theories

15 years 2 months ago

Download hal.archives-ouvertes.fr

Abstract. 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.

Richard H. G. Garner, Tom Hirschowitz, Auré

Real-time Traffic

CORR 2008 | Education | Proof Nets | Smc Signature | Symmetric Monoidal |

claim paper

» Variable Binding Symmetric Monoidal Closed Theories and Bigraphs

» A General Framework for Sound and Complete FloydHoare Logics

» Open Graphs and Monoidal Theories

» Two polygraphic presentations of Petri nets

» Symmetry and Composition in Probabilistic Theories

» A Comparison of Petri Net Semantics under the Collective Token Philosophy

» Abstract Scalars Loops and Free Traced and Strongly Compact Closed Categories

» Basic Theory in Construction of Boolean Functions with Maximum Possible Annihilator Immuni...

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	CORR
Authors	Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon

Comments (0)

Sciweavers

Graphical Presentations of Symmetric Monoidal Closed Theories

CORR 2008 | Education | Proof Nets | Smc Signature | Symmetric Monoidal |

Explore & Download

Productivity Tools

Sciweavers