A mathematical modeling of pure, recursive algorithms (1989)

by Yiannis N Moschovakis
Venue:Logic at Botik ’89