Какие утверждения являются корректными?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
процесс переименования связанных переменных лямбда-выражения называется альфа-преобразованием(Верный ответ)
теория лямбда исчисления представляет основу понимания агентов(Верный ответ)
процесс переименования связанных переменных лямбда-выражения называется бета-редукцией
каррингом функции из 
аргументов называется специализация (задание значений) 
аргументов (
). В результате карринга функция из аргументов трансформируется в функцию из 
аргументов(Верный ответ)
аргументов называется специализация (задание значений) аргументов (). В результате карринга функция из аргументов трансформируется в функцию из аргументов(Верный ответ)
связанные переменные лямбда-выражения не являются произвольными именами
