5109637059

Reprezentacja struktur danych w rachunku A

► liczby naturalne (numerały Churcha)

c_n = As.Az.s(ⁿ)(z) gdzie A°)(s) = s, dⁿ⁺1)(s) = t (Aⁿ)(s))

suc = \m.Xs.Xz.m s (s z) add = Xm.Xn.Xs.Xz.m s (n s z) mul = Xm.Xn.Xs.Xz.m (n s) z

suce c_n —t*p c_n+1 add C_m C_n ty C_m—n mul C_m C_n ty c_m*_n