я наверное не правильно изначально задал вопрос, надо было "Как доказать, что какой либо ЯП (Scala) удовлетворяет требованиям α-эквивалентности двух лямбда терм"
я наверное не правильно изначально задал вопрос, надо было "Как доказать, что какой либо ЯП (Scala) удовлетворяет требованиям α-эквивалентности двух лямбда терм"
у тебя формулировка странная, стравниваешь термы, а пишешь яп должен удовлетворять