Mario Román

❯

❯

❯

two operations on streams

two operations on streams

May 08, 20251 min read

two-operations-on-streams

References.

A Coinductive Calculus of Streams (Rutten, 2005)

Tags: stream.

Graph View

Backlinks

A Coinductive Calculus of Streams (Rutten, 2005)

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

GitHub
ArXiv
OrcID