>>691
ラムダ計算の本とかは?