Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract) (1990)

by Stephen A. Cook, Bruce M. Kapron
Venue:Feasible Mathematics: A Mathematical Sciences Institute Workshop