Monoidal streams for Buchi automata

Last updated Feb 3, 2024

Tags: Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022), Total relation, monoidal Mealy machine.