Subrecursion and lambda representation over free algebras (preliminary summary (1990)

by D Leivant
Venue:in Feasible Mathematics