Pages that link to "Item:Q1089782"
From MaRDI portal
The following pages link to Inductively defined functions in functional programming languages (Q1089782):
Displaying 4 items.
- Simulating finitely recursive processes in LISP (Q1198588) (← links)
- Book review of: B. Steffen et al., Mathematical foundations of advanced informatics. Volume 1. Inductive approaches (Q2335952) (← links)
- Conversion to tail recursion in term rewriting (Q2436518) (← links)
- Functions-as-constructors Higher-order Unification (Q5369491) (← links)