Products, Polynomials and Differential Equations in the Stream Calculus. - Boreale, Michele; Collodi, Luisa; Gorla, Daniele (ACM Transactions on Computational Logic, 2024)