Power series, power serious
From MaRDI portal
Publication:4934241
DOI10.1017/S0956796899003299zbMath0941.68529OpenAlexW2050354778MaRDI QIDQ4934241
Publication date: 20 February 2000
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796899003299
Related Items (4)
Behavioural differential equations: a coinductive calculus of streams, automata, and power series ⋮ Concrete stream calculus: An extended study ⋮ A semiring-based trace semantics for processes with applications to information leakage analysis ⋮ The music of streams
This page was built for publication: Power series, power serious