"\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