Statman's Hierarchy Theorem. - Bram Westerbaan; Bas Westerbaan; Rutger Kuyper; Carst Tankink; Remy Viehoff; Henk Barendregt (Log. Methods Comput. Sci., 2017)