The following pages link to (Q5028421):
Displaying 5 items.
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- On the Foundations of Corecursion (Q3126405) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Checked corecursive streams: expressivity and completeness (Q6049926) (← links)
- Checking equivalence of corecursive streams: an inductive procedure (Q6589842) (← links)