The Pi-Calculus: A Theory of Mobile Processes

ラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな

先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉...