2
Pourquoi les évaluateurs optimaux de λ-calcul sont-ils capables de calculer de grandes exponentiations modulaires sans formules?
Les nombres d'église sont un encodage de nombres naturels en tant que fonctions. (\ 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 Soigneusement, vous …