1
Một đánh giá tính toán lambda liên quan đến số nhà thờ
Tôi hiểu rằng một số Giáo hội trông giống như (... n lần ...) . Điều này có nghĩa là không có gì nhiều hơn "hàm được áp dụng lần cho hàm ". λ s . λ z . s scncnc_nλs.λz.sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Một định nghĩa …