Mario Román

❯

❯

❯

convolution product and inverse of streams

convolution product and inverse of streams

May 02, 20251 min read

convolution-product-and-inverse-of-streams

Tags: coinductive analysis, stream, coalgebra.

References

A Coinductive Calculus of Streams (Rutten, 2005)

Graph View

Backlinks

A Coinductive Calculus of Streams (Rutten, 2005)

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID