Computational Semantics with Functional Programming van Eijck Unger Hardback

Computational Semantics with Functional Programming

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)