On the proof theory of type two functionals based on primitive recursive operations

TitleOn the proof theory of type two functionals based on primitive recursive operations
Publication TypeJournal Article
Year of Publication2006
AuthorsSteiner, D, Strahm, T
JournalMathematical Logic Quarterly
Volume52
Pagination237-252
URLhttp://www.iam.unibe.ch/ltgpub/2006/ss06.pdf