λλλ後半戦 #comb_mu

自然数導入

Church数

PRED関数

論理値導入

純lispはラムダ計算と等価

• チャーチペア チャーチリスト
• Yコンビネータ
• 単純型つきラムダ計算

ラムダ計算の論文を読めばいいと思う