ラムダ計算

λmnsz. m n s z

階乗が個人的にわからないのは、
mは、適用する関数 s と 適用対象 zを取る二引数関数のはずなのに、
nとsとzの三引数を取ってるからかしら。

頭から素直に読むと、

m回 n を sに適用する。

n (n (n ... (n s)...) z
-----ｍ個------------

(n s) -> s を何かにn回適用する関数。

わかったような分からんような。

これだと、0の0乗が0になる？

いや、最初のsは残るから、0にはならんな。