■

• Anthony Seda and Pascal Hitzler　　Mathematical Aspects of Logic Programming Semantics, CRC Press, Chapman & Hall/CRC Studies in Informatics Series, Due in December 2010

Denotational Semantics の話などが載っているのではないかと思うので、多分注文します。