Ocena rachunku lambda z udziałem cyfr kościelnych
Rozumiem, że liczba kościelna wygląda jak (... n razy ...) . Oznacza to nie więcej, niż „funkcja stosowanych razy do funkcji ”. λ s . λ z . s sdondonc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Możliwa definicja funkcji jest następująca: . Patrząc na ciało, rozumiem logikę...