論理学入門 II — ラムダ計算と関数型言語

2020/03/27 マルゼミ

概要

https://logic2-lambda.peatix.com/view

資料ダウンロード

 論理学入門 II — ラムダ計算と関数型言語 (一本にまとめたもの)
 論理学入門 II — Part I, Part II
 論理学入門 II — Part III, Part IV

講演ビデオ 「論理学入門 II — ラムダ計算と関数型言語」

資料viewer Part I, Part II

資料viewer Part III, Part IV

関連リンク