The following pages link to The music of streams (Q1607101):
Displayed 5 items.
- PSEUDO: applications of streams and lazy evaluation to integrable models (Q709591) (← links)
- Concrete stream calculus: An extended study (Q3021409) (← links)
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
- Elements of Stream Calculus (Q4917066) (← links)
- A Final Coalgebra for k-regular Sequences (Q5418973) (← links)