27 search results - page 3 / 6 » Symmetric monoidal sketches |
MFCS
2001
Springer
14 years 3 months ago
2001
Springer
TAPSOFT
1995
Springer
14 years 2 months ago
1995
Springer
Abstract. We introduce the notion of strongly concatenable process as a refinement of concatenable processes [3] which can be expressed axiomatically via a functor Q[ ] from the c...
ICCSA
2003
Springer
14 years 4 months ago
2003
Springer
The 3D evaluation of design shapes is an essential step in product styling. Thus, physical models of final-stage design alternatives have been made in tradition, and recently the ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
ACS
2005
13 years 10 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...