Pages that link to "Item:Q5275360"
From MaRDI portal
The following pages link to Finitary Corecursion for the Infinitary Lambda Calculus (Q5275360):
Displaying 6 items.
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- (Q4683859) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
