A useful lambda notation (1992)

by R P Nederpelt, F Kamareddine
Venue:Paper presented at the 1992 Logic Colloquium, Vesprem