Add to ORKGUses Paul Taylor's diagrams.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
This paper develops a formal string diagram language for monoidal closed categories. Previous work h...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
The essential interaction between classical and intuitionistic features in the system of linear logi...
Uses Paul Taylor's diagrams.We define a notion of symmetric monoidal closed (SMC) theory, consisting...
Abstract. We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signatur...
An introduction to two more technical previous preprints.International audienceThis paper investigat...
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...
17 pages, uses Paul Taylor's diagrams.Milner's bigraphs are a general framework for reasoning about ...
Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagra...
Formalised in the study of symmetric monoidal categories, string diagrams are a graphical syntax tha...
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétri...
AbstractSome sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that ...
AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinte...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
This paper develops a formal string diagram language for monoidal closed categories. Previous work h...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
The essential interaction between classical and intuitionistic features in the system of linear logi...
Uses Paul Taylor's diagrams.We define a notion of symmetric monoidal closed (SMC) theory, consisting...
Abstract. We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signatur...
An introduction to two more technical previous preprints.International audienceThis paper investigat...
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...
17 pages, uses Paul Taylor's diagrams.Milner's bigraphs are a general framework for reasoning about ...
Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagra...
Formalised in the study of symmetric monoidal categories, string diagrams are a graphical syntax tha...
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétri...
AbstractSome sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that ...
AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinte...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
This paper develops a formal string diagram language for monoidal closed categories. Previous work h...
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
The essential interaction between classical and intuitionistic features in the system of linear logi...