%A Reinhard Muskens %J Logics in AI, Proceedings of JELIA '90, volume 478 of Lecture Notes in Computer Science %T Anaphora and the Logic of Change %X This paper shows how the dynamic interpretation of natural language introduced in work by Hans Kamp and Irene Heim can be modeled in classical type logic. This provides a synthesis between Richard Montague's theory of natural language semantics and the work by Kamp and Heim. %K type theory, dynamic semantics, anaphora %P 412-427 %E Jan van Eijck %D 1991 %I Springer-Verlag %L cogprints4704