The following pages link to (Q4790656):
Displayed 6 items.
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Partial and nested recursive function definitions in higher-order logic (Q972425) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Indexed induction-recursion (Q2577476) (← links)
- A Type of Partial Recursive Functions (Q3543653) (← links)
- A simple canonical representation of rational numbers (Q4924543) (← links)