Mario Román

Search

The stream endofunctor has a terminal coalgebra

Last updated Oct 4, 2022

the-stream-endofunctor-has-a-terminal-coalgebra

Backlinks

Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)

Interactive Graph

Made by Mario Román using Quartz and Obsidian, CC BY-SA 2023 (How to cite)

Home
ArXiv
Github