TY  - RPRT
TI  - Statman's Hierarchy Theorem
AU  - Bram Westerbaan
AU  - Bas Westerbaan
AU  - Rutger Kuyper
AU  - Carst Tankink
AU  - Remy Viehoff
AU  - Henk Barendregt
PY  - 2017
DO  - 10.23638/lmcs-13(4:19)2017
UR  - https://arxiv.org/abs/1711.05497
ID  - 1711.05497
ER  -