Mario Román
Search
Search Icon
Icon to open search
Automata
Last updated Sep 8, 2023
Monoidal automata
automata as functors