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.