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
We study rewriting for equational theories in the context of symmetric monoidal categories where the...
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...
17 pages, uses Paul Taylor's diagrams.Milner's bigraphs are a general framework for reasoning about ...
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal catego...
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétri...
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...
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...
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...
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...
17 pages, uses Paul Taylor's diagrams.Milner's bigraphs are a general framework for reasoning about ...
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal catego...
En se fondant sur les travaux de Trimble et al., puis Hughes, on donne une notion de théorie symétri...
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...
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...
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...
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...