(追記: 書籍のこのレジュメとは別に、不動点意味論の直感的イメージについての補足を、一番下に書き加えました。) メモというよりは補間てかんじ。プログラム意味論 (情報数学講座)作者: 横内寛文出版社/メーカー: 共立出版発売日: 1994/06/01メディア: 単行…