Уважаемые гуру ФП, подскажите, пожалуйста, как понимать следующее:
Если по одной и той же переменной абстракция производилась более одного раза, то переменная связана с самым поздним (самым нижним в дереве разбора) абстрагированием. Например, в \x.\x.\y.\x.x, переменная x связана с самой правой абстракцией по x.
Но \x.\x.\y.\x.x это:
\xxyx.x\xyx.3
