U. Kohlenbach, “Higher Order Reverse Mathematics”, BRICS, vol. 7, no. 49, Jun. 2000.