1
Оценка лямбда-исчисления с использованием церковных цифр
Я понимаю, что церковная цифра выглядит как λ s . λ z . s (... n раз ...) . Это означает не что иное, как «функция примененная раз к функции ».сNcnc_nλ s . λ z, sλs.λz.s\lambda s. \lambda z. ss n zsZszs\;zsssNnnZzz Возможное определение функции следующее: . Глядя на тело, …