'This remarkable textbook teaches you the know-how to become an active participant in this rapidly evolving interdisciplinary field.' Johan van Benthem, University of Amsterdam and Stanford University
'This book is a major contribution to computational semantics. The authors provide important insights into a wide range of current issues in semantic theory, setting a very high standard for work in computational semantics.' Shalom Lappin, King's College, London
'The authors do an excellent job of exploring the connections between functional programming and Montague-style formal semantics for natural language. Anyone interested in logic-based computational semantics will learn something from this book.' Stephen Pulman, University of Oxford