dr. Bas Westerbaan

github

Statman's Hierarchy Theorem

20 Apr 2014 [ LMCS · preprint ]

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