Hints for Self-Study Questions
Test Yourself #3
To discover the T combinator, use a technique similar to the one used to define Y:
"Guess" that T has the form DD.
Note that we want this: (DD)M →
β
* M((DD)M)
And so on...