De Bruijn s syntax and reductional behaviour of lambda-terms: the untyped case

Fairouz Kamareddine, Roel Bloo. De Bruijn s syntax and reductional behaviour of lambda-terms: the untyped case. Journal of Logic and Algebraic Programming, 62(1):109-131, 2005. [doi]

Abstract

Abstract is missing.