Turing machine characterizations of feasible functionals of all finite types (1995)

by A Seth
Venue:Feasible Mathematics II