Henk Barendregt Representing `undefined' in lambda Calculus. 367-374 1992 2 J. Funct. Program. 3 db/journals/jfp/jfp2.html#Barendregt92a