The beauty of the -calculus, in preparation (0)

by F Kamareddine, R P Nederpelt