『計算論理学 (けいさんろんりがく)』2023/9/27 14:47:00 http://www.cs.tsukuba.ac.jp/~kam/lecture/complogic2015/ ラムダ計算とか書いてる
『2 ラムダ記法と (型のない) ラムダ計算』2023/9/27 14:46:00 http://www.cs.tsukuba.ac.jp/~kam/lecture/complogic2015/2.pdf