Towards the range property for the lambda theory H

Henk Barendregt. Towards the range property for the lambda theory H. Theoretical Computer Science, 398(1-3):12-15, 2008. [doi]

Abstract

Abstract is missing.