dinaturality for monoidal streamsLast updated Feb 3, 2024Tags: dinaturality, Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
