ラムダ計算の勉強のしかた、プログラム意味論

先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。
プログラムの理論とはなにか


そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。
アルゴリズムの勉強のしかた


そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思っているかをまとめてみます。

続きを読む