1
Una valutazione del calcolo lambda che coinvolge numeri della Chiesa
Capisco che un numero di chiesa assomigli a (... n volte ...) . Questo significa altro che "la funzione applicate volte alla funzione ". λ s . λ z . s scncnc_nλ s . λ z. Sλs.λz.s\lambda s. \lambda z. ss n zSzszs\;zSssnnnzzz Una possibile definizione della funzione è la …