2019-02-27から1日間の記事一覧

ラムダ計算の話

www.docswell.com 第3回 関西日曜数学 友の会(第3回 関西日曜数学 友の会 - connpass)で話したときのスライドです。 Haskellの本や型システムの本で、ラムダ計算に触れているものを見かけます。しかし、それらの本ではラムダ計算に関する記述がどうにも曖…