A Useful lambda-Notation

Fairouz Kamareddine, Rob Nederpelt. A Useful lambda-Notation. Theoretical Computer Science, 155(1):85-109, 1996. [doi]

Abstract

Abstract is missing.