Books on Computational Semantics by Patrick Blackburn & Johan Bos
Representation and Inference for Natural Language
A First Course in Computational Semantics
Chapter 2. Lambda Calculus

Here we start studying the heart of computational semantics: how to automate the process of semantic construction. We start by outlining the methodology underlying our attempts (namely, compositionality) and motivate our use of Prolog's Definite Clause Grammars. We then write two rather naive programs that build semantic representations for a very small fragment of English. These experiments lead us to the lambda calculus, the tool that drives this book's approach to semantic construction. We implement beta-conversion, the computational core of the lambda calculus, and then integrate it into the grammatical architecture that will be used throughout the book.