@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. }
}