Computational Semantics - Bridging Language, Logic, and Learning

Computational Semantics with Functional Programming

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

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

Operational Methods In Semantics: 18 (Lecture Notes Series on Computing)