2
Perché i valutatori ottimali del calcolo λ sono in grado di calcolare grandi esponenziali modulari senza formule?
I numeri di chiesa sono una codifica di numeri naturali come funzioni. (\ 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 Ordinariamente, puoi esponenziare …