20 Apr 2014 · published · with dr. Bram Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff and prof. Henk Barendregt [LMCS · preprint]
A simplification and slight extension of Statman’s Hierarchy Theorem.