"\x.yx" is a syntactically legal lambda expression

True. It is an abstraction with a application as its body. Note that the variable "x" appears on both "sides" of the abstraction, while the variable "y" does not. This will create an important distinction later.

BACK