型なしラムダ計算
TaPL
を読め
resources
http://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf
tools
https://qiita.com/todays-mitsui/items/e28de509b9e1feceb6b4
#ラムダ計算