Evaluasi kalkulus lambda yang melibatkan angka-angka Gereja

Saya mengerti bahwa angka Gereja terlihat seperti (... n kali ...) . Ini berarti tidak lebih dari "fungsi diterapkan kali ke fungsi ". λ s . λ z . s scncnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Definisi yang mungkin dari fungsi adalah sebagai berikut: . Melihat tubuh,...