A proof-theoretic characterization of the basic feasible functionals

TitleA proof-theoretic characterization of the basic feasible functionals
Publication TypeJournal Article
Year of Publication2004
AuthorsStrahm, T
JournalTheoretical Computer Science
Volume329
Pagination159-176
URLhttp://www.iam.unibe.ch/ltgpub/2004/str04.pdf