[sci.misc] An interesting formula.

markh@csd4.milw.wisc.edu (Mark William Hopkins) (03/19/88)

Formula:
<From a prior Math Posting>

The normal form of the lambda expression:

	           (M M) M

where
	       M = (S (SS) ) S

where

	      S = lambda x,y,z ( (xz) (yz) ).

... or just S if no normal form exists.