On the proof theory of type two functionals based on primitive recursive operations. Steiner, D. & Strahm, T. Mathematical Logic Quarterly, 52(3):237–252, 2006.
On the proof theory of type two functionals based on primitive recursive operations [pdf]Paper  bibtex   

Downloads: 0