1
Kilise rakamlarını içeren bir lambda hesabı değerlendirmesi
Bir Kilise rakamının λ s'yecncnc_n benzediğini anlıyorum . λ z . s (... n kez ...) sλs.λz.sλs.λz.s\lambda s. \lambda z. sszszs\;z . "Fonksiyon daha Bu araçlar bir şeysss uygulanannnn fonksiyonu kezzzz ". işlevinin olası bir tanımı aşağıdadır: t i m e s = λ m . λ n . λ …