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