He doesn't mention it, but this is basically what we today call "SKI" combinators: https://en.wikipedia.org/wiki/SKI_combinator_calculus

* I is the identity function: Ix = x

* K is the constant function: Kxy = x

* S is a bit more complex: Sxyz = xz(yz)