Computational Semantics with Functional Programming
Parsing As Deduction