2
Λ-calculus optimal değerlendiricileri neden formülsüz büyük modüler üsleri hesaplayabiliyor?
Kilise sayıları doğal sayıların fonksiyon olarak kodlanmasıdır. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 Düzgünce, sadece uygulayarak 2 kilise sayısını üs alabilirsiniz. …