1994年初版

横内寛文著

行間が狭いので、ちゃんと前から読んでいけば読み進められると思う

1章

2章

帰納的関数のところ(定義2.4.1 p.23)はそれぞれ以下を指している

(1)は初期関数

(2)は合成

(3)は原始帰納

(4)は？

3章

不動点と再帰周りを俯瞰するに色々リンクした

todos

cpoの直積

2引数関数を扱う際に、f: D\times D'\to D''とする

連続関数の合成

cpoの直和

合体直和

D \oplus D'　

4章

表示的意味論と操作的意味論の定義

未読

5章

6章

7章

未読