Computational Semantics with Functional Programming

Computational semantics is the art and science of computing meaning in natural language. This comprehensive text shows how to compute meaning using the functional programming language Haskell. Looking at denotational meaning, operational meaning, and recent developments in logic, it will be invaluable to students of linguistics, logic, and functional programming.