Pages that link to "Item:Q328657"
From MaRDI portal
The following pages link to Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657):
Displaying 5 items.
- On algebras with effectful iteration (Q1798792) (← links)
- Nominal coalgebraic data types with applications to lambda calculus (Q2871472) (← links)
- (Q4683859) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)