2020年3月27日 論理学入門 II — ラムダ計算と関数型言語 2020/03/27 マルゼミの講演動画です。 全編プレイリスト再生 Part I 「型のないラムダ計算」 Part II 「型付きラムダ計算」 Part III 「ラムダ計算とLISP, Haskell, OCaml」 Part IV 「Coqでの関数型プログラミング」 FacebooktwitterHatena