Coinductive stream calculus

In this talk, I will give an introduction to the coinductive stream calculus (developed by Rutten, McIlroy, and others), its connection to coalgebra, automata theory and implementations in the functional programming language Haskell. We take the perspective that streams can be seen as formal power series in a single variable, definable by systems of behavioural differenital equations, and show how various classes of power series (e.g. rational, algebraic) can be represented using certain formats such equations.