プログラム意味論

[0014 名無しさん＠お腹いっぱい。 2006/08/26(土) 21:05:34 ID:KFleSFe30]

学生のとき習ったけどわからなかった。
プログラマだけど改めて勉強しようかと思っている。
Davey & Priestley「Introduction to Lattices and Order」っていう本もこの分野に関係あるよね。