@misc{cogprints4704,
          editor = {Jan van Eijck},
           title = {Anaphora and the Logic of Change},
          author = {Reinhard Muskens},
       publisher = {Springer-Verlag},
            year = {1991},
           pages = {412--427},
         journal = { Logics in AI, Proceedings of JELIA '90, volume 478 of Lecture Notes in Computer Science},
        keywords = {type theory, dynamic semantics, anaphora},
             url = {http://cogprints.org/4704/},
        abstract = {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. }
}

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>