@TechReport{Kohlhase_Kuschert:1997_1,
      AUTHOR = {Kohlhase, Michael and Kuschert, Susanna},
      TITLE = {Dynamic Lambda Calculus},
      YEAR = {1997},
      MONTH = {September},
      NUMBER = {91},
      PAGES = {29},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {http://ftp.coli.uni-sb.de/claus91.ps http://ftp.coli.uni-sb.de/claus91.dvi},
      ABSTRACT = {The goal of this paper is to lay a logical foundation for discourse theories by providing an algebraic foundation of compositional formalisms for discourse semantics as an analogon to the simply typed Lambda-calculus. Just as that can be specialized to type theory by simply providing a special type for truth values and postulating the quantifiers and connectives as constants with fixed semantics, the proposed dynamic Lambda-calculus DLC can be specialized to Lambda-DRT by essentially the same measures, yielding a much more principled and modular treatment of Lambda-DRT than before, which is also expected to provide a conceptually simple basis for studying higher-order unification for compositional discourse theories. N.B.: After printing we realised that alpha-conversion as defined here is not yet correct; we will publish an improved version soon.},
      ANNOTE = {COLIURL : Kohlhase:1997:DLCb.pdf}
}