読者です 読者をやめる 読者になる 読者になる

by shigemk2

当面は技術的なことしか書かない

λλλ後半戦 #comb_mu

自然数導入

Church数

PRED関数

論理値導入

純lispはラムダ計算と等価

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

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