Tools and Algorithms for the Construction and Analysis of Systems. Vol. 14571, Issue. , p. 279. String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in ...
Some results have been hidden because they may be inaccessible to you