Pages that link to "Item:Q1398467"
From MaRDI portal
The following pages link to Recursion and corecursion have the same equational logic (Q1398467):
Displaying 4 items.
- Equational properties of iterative monads (Q618163) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) (Q2805168) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
