20 Apr 2014 [ LMCS · preprint ]
A simplification and slight extension of Statman’s Hierarchy Theorem.