Add to ORKGAbstract. 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. 1
We introduce the symmetricity notions of symmetric hmonoidality, symmetroidality, and symmetric flat...
Satisfiability Modulo Theories (SMT) solvers are a class of efficient constraint solvers which for...
17 pages, uses Paul Taylor's diagrams.Milner's bigraphs are a general framework for reasoning about ...
Uses Paul Taylor's diagrams.We define a notion of symmetric monoidal closed (SMC) theory, consisting...
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétri...
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétri...
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal catego...
An introduction to two more technical previous preprints.International audienceThis paper investigat...
This paper develops a formal string diagram language for monoidal closed categories. Previous work h...
AbstractSome sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that ...
This is a report on aspects of the theory and use of monoidal categories. The first section introduc...
Contains fulltext : 178665.pdf (preprint version ) (Open Access
Our interest is in models of concurrency, and their theoretical axiomatisation and analysis. We buil...
We introduce the symmetricity notions of symmetric hmonoidality, symmetroidality, and symmetric flat...
Satisfiability Modulo Theories (SMT) solvers are a class of efficient constraint solvers which for...
17 pages, uses Paul Taylor's diagrams.Milner's bigraphs are a general framework for reasoning about ...
Uses Paul Taylor's diagrams.We define a notion of symmetric monoidal closed (SMC) theory, consisting...
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétri...
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétri...
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal catego...
An introduction to two more technical previous preprints.International audienceThis paper investigat...
This paper develops a formal string diagram language for monoidal closed categories. Previous work h...
AbstractSome sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that ...
This is a report on aspects of the theory and use of monoidal categories. The first section introduc...
Contains fulltext : 178665.pdf (preprint version ) (Open Access
Our interest is in models of concurrency, and their theoretical axiomatisation and analysis. We buil...
We introduce the symmetricity notions of symmetric hmonoidality, symmetroidality, and symmetric flat...
Satisfiability Modulo Theories (SMT) solvers are a class of efficient constraint solvers which for...
17 pages, uses Paul Taylor's diagrams.Milner's bigraphs are a general framework for reasoning about ...