Abstract recursion as a foundation of the theory of algorithms (1984)

by Yiannis N Moschovakis
Venue:in Computation and Proof theory