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