Pages that link to "Item:Q2871472"
From MaRDI portal
The following pages link to Nominal Coalgebraic Data Types with Applications to Lambda Calculus (Q2871472):
Displaying 7 items.
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- A dependent type theory with abstractable names (Q530845) (← links)
- Binding operators for nominal sets (Q1744371) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- (Q5109521) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
