A Proof-Theoretic Characterization of the Basic Feasible Functionals (2002)

by Thomas Strahm
Venue:Theoretical Computer Science
Citations:7 - 6 self