No work grows out of nothing. In this case, I have benetted largely from working with Albert Visser and Kees Vermeulen while I was working in a project on the parallels between natural languages and programming languages. Albert Visser's ideas concerning semantics in general and how to set up a really clean framework for dynamic semantics in particular have had a profound impact on me. It has always been his intention to provide a mathematically elegant and sound semantical framework for natural language. Yet, it is one thing to believe that such a framework is possible and another to actually provide it. This book is about how his ideas on semantics can be made fruitful in linguistic theory. I had to sacrice some features of the origi...