4
У чому сенс -перетворення в лямбдальному обчисленні?
Я думаю, що я цього не розумію, але -конверсія розглядає мене як -конверсію, яка нічого не робить, особливий випадок -конверсії, де результатом є лише термін в лямбда-абстракції, тому що нічого немає робити, вид безглуздої -конверсії.ηη\etaββ\betaββ\betaββ\beta Тож, може, -перетворення є чимось по-справжньому глибоким і відмінним від цього, але, якщо воно є, …