IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #709   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:33
709 Add to my selection
      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 = {},
      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}
Last modified: Thu October 16 2014 19:11:34         BibAdmin