"\x.\y.xyxx" is not a
syntactically
legal lambda expression
False. Its a whole bunch of syntax, three applications surrounded by two abstractions (we'll explain how to parenthesize so that's clear in a little while), but it is legal.
BACK