Mario Román
Search
Search Icon
Icon to open search
bisimulation in string diagrams
Last updated Feb 3, 2024
bisimulation
symmetric monoidal automata