>>151
悪くないが、それならこの2冊を薦める。どうせいずれ欲しくなる本だし。
■Stoy, "Denotational Semantics - The Scott-Strachey approach to
programming language theory", MIT Press (1997)
■Barendregt, "The lambda calculus - its syntax and semantics",
North-Holland (1984)

あと Scott domain を理解するなら位相の教科書は多分必要。
いろんな概念(少なくともT0位相)が易しい証明つきで載ってる英語の本は
一冊ないと不便。Barendregtの本はかなり親切だが。
■Gemignani, "Elementary Topology", 2nd ed., Dover Publications (1990)
■Birkhoff, "Lattice theory", 3rd ed., AMS, (1979)