3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Kostia Chardonnet, Marc de Visme, Benoît Valiron +1
We propose a graphical language that accommodates two monoidal structures: a multiplicative one for pairing and an additional one for branching. In this colored PROP, whether wires…