convolution product and inverse of streamsLast updated Apr 23, 2024Tags: coinductive analysis, stream, coalgebra.ReferencesA Coinductive Calculus of Streams (Rutten, 2005)