Abstract recursion as a foundation for the theory of algorithms

Computation and Proof Theory - Lecture Notes in Mathematics ◽

10.1007/bfb0099491 ◽

1984 ◽

pp. 289-364 ◽

Cited By ~ 21

Author(s):

Yiannis N. Moschovakis