Foundational papers by Henk Barendregt (and co-authors) Papers and talks on logic and computer science [2008] Towards the range property for the lambda theory H. In: Calculi, Types and Applications Essays in honour of, M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca. Edited by Stefano Berardi and Ugo de' Liguoro. Theoretical Computer Science 398, Elsevier. 2008. pp. 12-15. Laat de comput