A useful lambda notation, submitted for publication (0)

by F Kamareddine, R P Nederpelt