Organizing : 株式会社ファントムタイプ
コンパイラ 2012 年講義資料 大堀淳 東北大学電気通信研究所
ラムダ計算入門 - 小林・住井研究室
ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記