这本书写的很好，多谢了！
不愧是@LdBeth，这都能找得到。。。
我要的就是domain theory，原因有以下几点：
-
现在大部分介绍
denotation semantics的文章，背后都用到了domain theory。不会
domain theory看denotation semantics就和不会实分析学微积分一样。。。正如作者自己所说：
-
我想研究一下
Haskell的denotation semantics。我现在发现这个语言并没有想象中那么简单。
比如：你可以在Haskell里定义Coalgebra，但是这个Coalgebra和数学上定义的Coalgebra有一些差异（尽管Haskell里定义的Final coalgebra’s carrier 也能代表无限类型），但是仍然有一些细微的不同，因为Haskell不是totally language 且 Haskell lazy，使得问题复杂化。
有人和我说：如果你真想了解像Haskell那样的non-totally language的
denotation/categorical semantics，可能需要学一点domain theory。 -
我记得TAPL有一章专门讲递归类型的元理论。
我承认，当时看那一章的时候，我没有完全看懂（感觉需要一些
domain theory基础）。
