"\x.yx" is not a syntactically legal lambda expression
False. Although "x" and "y" appear differently (one on both "sides"
of the abstraction, the other just in the body), this is perfectly
legal. It will be an important distinction later, though.
BACK