6 search results - page 2 / 2 » Coequational Logic for Finitary Functors |
CORR
2010
Springer
13 years 4 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...