束縛変数

lambda

• λ計算

参考文献

https://www.gifu-nct.ac.jp/elec/deguchi/flash/KSR/k13.pdf