Elements of Stream Calculus (An Extensive Exercise in Coinduction)

Abstract

Elements of stream calculus (an extensive exercise in coinduction) CWI's research has a theme-oriented structure and is grouped into four clusters. Listed below are the names of the clusters and in parentheses their acronyms. ABSTRACT Based on the presence of a nal coalgebra structure on the set of streams innnite sequences of real numbers, a coinductive… (More)
DOI: 10.1016/S1571-0661(04)80972-1

Topics

Cite this paper

@article{Rutten2001ElementsOS, title={Elements of Stream Calculus (An Extensive Exercise in Coinduction)}, author={Jan J. M. M. Rutten}, journal={Electr. Notes Theor. Comput. Sci.}, year={2001}, volume={45}, pages={358-423} }