Abraham Westerbaan

github

Statman's Hierarchy Theorem

27 Nov 2017 [ arxiv · preprint ]

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.