横内『プログラム意味論』
https://gyazo.com/b0b12037fbc194bcb202a602130a2c17
1994年初版
行間が狭いので、ちゃんと前から読んでいけば読み進められると思う
1章
2章
帰納的関数のところ(定義2.4.1 p.23)はそれぞれ以下を指している (4)は?
3章
todos
cpoの直積
2引数関数を扱う際に、$ f: D\times D'\to D''とする
連続関数の合成
cpoの直和
$ D \oplus D'
coalesced sum
4章
未読
5章
6章
7章
未読