A proof-theoretic characterization of the basic feasible functionals
scientific article; zbMATH DE number 2132498
scientific article