谢谢。
大致看了一下,这本书是专门讲语义的,就是内容有点杂,各章节之间有一定依赖关系。
我其实想找一本专门讲domian theory的书,感觉这类书很少。。。
PS:这本书里其实也有讲domain theory,但是感觉分散在好几章里。