2
Por que os avaliadores ideais do cálculo λ são capazes de calcular grandes exponenciações modulares sem fórmulas?
Os números das igrejas são uma codificação dos números naturais como funções. (\ 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 Ordenadamente, você pode …