Mario Román
Search
Search Icon
Icon to open search
The stream endofunctor has a terminal coalgebra
Last updated Oct 4, 2022
Backlinks
Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)
Interactive Graph