Characterizations of the basic feasible functions of finite type (1990)

by S Cook, B Kapron
Venue:Feasible Mathematics: A Mathematical Sciences Institute Workshop