Abraham Westerbaan

github

Statman's Hierarchy Theorem

10 Sep 2015 [ preprint ]

with Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, and Henk Barendregt

A simplification and slight extension of Statman's Hierarchy Theorem.