Pages that link to "Item:Q3638255"

The following pages link to Using Structural Recursion for Corecursion (Q3638255):

Displaying 4 items.

• The never-ending recursion (Q1688713) (← links)
• (Co)inductive proof systems for compositional proofs in reachability logic (Q1996855) (← links)
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme (Q3638258) (← links)
• Checked corecursive streams: expressivity and completeness (Q6049926) (← links)