## 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 |

Citations: | 29 - 6 self |