Pages that link to "Item:Q2718773"
From MaRDI portal
The following pages link to Functional programming with apomorphisms (corecursion) (Q2718773):
Displaying 12 items.
- Paramorphisms (Q1201295) (← links)
- Undecidability of equality for codata types (Q1798783) (← links)
- Recursion schemes from comonads (Q2765926) (← links)
- APLicative Programming with Naperian Functors (Q2988659) (← links)
- The Expression Lemma (Q3521989) (← links)
- (Q3523332) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- Some Remarks on Type Systems for Course-of-value Recursion (Q5178964) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- A Duality of Sorts (Q5410453) (← links)
- Ramified Corecurrence and Logspace (Q5739361) (← links)
- Classical (co)recursion: Mechanics (Q6132720) (← links)