Tags
2 ページ目
Lambda-Calculus
型理論とカリー＝ハワード同型対応：命題＝型、証明＝プログラムの深遠なる調和
ラムダ計算（Lambda Calculus）と関数型プログラミングの起源：アロンゾ・チャーチの理論からLisp、Haskellへ
