A simplification and slight extension of Statman’s Hierarchy Theorem.
doi | 10.23638/LMCS-13(4:19)2017 |
---|---|
with | Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, and Henk Barendregt |
A simplification and slight extension of Statman’s Hierarchy Theorem.