nLab Jan Rutten

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |
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.

EditDiscussPrevious revisionChanges from previous revisionHistory (1 revision) Cite Print Source