Computational Semantics - Bridging Language, Logic, and Learning

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Semantics of Programming Languages: Structures and Techniques (Foundations of Computing)

Computational Linguistics and Formal Semantics (Studies in Natural Language Processing)