nLab Jan Rutten

Selected publications

Selected publications

  • Jan Rutten, A coinductive calculus of streams, Mathematical Structures in Computer Science, Mathematical Structures in Computer Science, Volume 15, Issue 1, February 2005, pp. 93-147 (doi:10.1017/S0960129504004517)
category: people

Last revised on December 25, 2023 at 15:43:30. See the history of this page for a list of all contributions to it.