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

Cached

Download Links

by Stephen A. Cook , Bruce M. Kapron
Venue:Feasible Mathematics: A Mathematical Sciences Institute Workshop
Citations:27 - 6 self

Document Versions

Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract) –Stephen A. Cook, Bruce M. Kapron — 1990 — Feasible Mathematics: A Mathematical Sciences Institute Workshop