Computational Semantics - Bridging Language, Logic, and Learning

Computational Semantics with Functional Programming

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

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

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