Exploiting the fact that the set of all streams (infinite sequences of real numbers) carries a final coalgebra structure, a few initial steps towards a coinductive stream calculus are discussed. This involves definitions in terms of behavioural differential equations, methods for solving such equations, and (generalized) nondeterministic representations of such …

read more