Stream Differential Equations: concrete formats for coinductive definitions
In this article we give an accessible introduction to stream differential equations, i.e., equations that take the shape of differential equations from analysis and that are used to define infinite streams. Furthermore we discuss a syntactic format for stream differential equations that ensures that...
Main Authors: | , , |
---|---|
Format: | Report |
Published: |
2011
|