Pages that link to "Item:Q2566066"
From MaRDI portal
The following pages link to A term calculus for (co-)recursive definitions on streamlike data structures (Q2566066):
Displaying 6 items.
- Lazy productivity via termination (Q549188) (← links)
- Productivity of stream definitions (Q846366) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
- The $\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) (Q3636833) (← links)
- Upper Bounds on Stream I/O Using Semantic Interpretations (Q3644754) (← links)
