Products, Polynomials and Differential Equations in the Stream Calculus

Michele Boreale, Luisa Collodi, Daniele Gorla. Products, Polynomials and Differential Equations in the Stream Calculus. ACM Trans. Comput. Log., 25(1), January 2024. [doi]

Abstract

Abstract is missing.