型付きラムダ計算について書いてある資料で、
何かお勧めのやつあれば教えてください。
サイトでも教科書でも構いませんので……

MLのｽﾚで聞いたほうがいいのかな？