Subrecursion and lambda representation over free algebras (1990)

by D Leivant
Venue:Feasible Mathematics, Perspectives in Computer Science