Лямбда-исчисление: что вычисляет λn.λm.m (MULT n) 1? - PullRequest
0 голосов
/ 13 июня 2019

Какую арифметическую операцию вычисляет термин «λn.λm.m (MULT n) 1»?

Это было указано в тексте Фернандеса «Модели вычислений: введение в теорию вычислимости», глава 3, и яне могу понять это.

...