Mario Román

Search

Search IconIcon to open search

The stream endofunctor has a terminal coalgebra

Last updated Oct 4, 2022

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