Pages that link to "Item:Q1923102"
From MaRDI portal
The following pages link to A coinduction principle for recursive data types based on bisimulation (Q1923102):
Displaying 6 items.
- Simulations in coalgebra (Q703522) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- Bialgebraic Semantics and Recursion (Q4917044) (← links)
