Pages that link to "Item:Q3021409"
From MaRDI portal
The following pages link to Concrete stream calculus: An extended study (Q3021409):
Displaying 12 items.
- The music of streams (Q1607101) (← links)
- A proof of Moessner's theorem by coinduction (Q1929334) (← links)
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- A characterization of Moessner's sieve (Q2253190) (← links)
- A term calculus for (co-)recursive definitions on streamlike data structures (Q2566066) (← links)
- (Q2980965) (← links)
- Numerical modelling of concrete flow: homogeneous approach (Q3423313) (← links)
- A Final Coalgebra for k-regular Sequences (Q5418973) (← links)
- Typed Lambda Calculi and Applications (Q5704032) (← links)
- Checked corecursive streams: expressivity and completeness (Q6049926) (← links)
- Into the Infinite - Theory Exploration for Coinduction (Q6108814) (← links)
- Checking equivalence of corecursive streams: an inductive procedure (Q6589842) (← links)