Mario Román

❯

❯

convolution product and inverse of streams

convolution product and inverse of streams

Jan 04, 20241 min read

convolution-product-and-inverse-of-streams

Tags: coinductive analysis, stream, coalgebra.

References

A Coinductive Calculus of Streams (Rutten, 2005)

Graph View

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID