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 8 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)
- Concrete stream calculus: An extended study (Q3021409) (← 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)
- Type-Based Productivity of Stream Definitions in the Calculus of Constructions (Q5271060) (← links)