%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:27 +0100 GMT
%    
% Selection : Author: Susanna_Kuschert
%




@InProceedings{Kohlhase_Kuschert:1997,
      AUTHOR = {Kohlhase, Michael and Kuschert, Susanna},
      TITLE = {Dynamic Lambda Calculus},
      YEAR = {1997},
      BOOKTITLE = {5th Meeting on Mathematics of Language (MOL5), August 25-28},
      PAGES = {85-92},
      ADDRESS = {Schloss Dagstuhl, Germany},
      URL = {http://www.dfki.de/events/mol/papers/kuschert.ps},
      ANNOTE = {Kohlhase:1997:DLC}
}

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

@InProceedings{Kohlhase_et_al:1996,
      AUTHOR = {Kohlhase, Michael and Kuschert, Susanna and Pinkal, Manfred},
      TITLE = {A Type-Theoretic Semantics for Lambda-DRT},
      YEAR = {1996},
      BOOKTITLE = {10th Amsterdam Colloquium},
      PAGES = {479-498},
      EDITOR = {Dekker, Paul and Stokhof, Martin},
      ADDRESS = {Amsterdam, The Netherlands},
      PUBLISHER = {De Gruyter}
}

@TechReport{Kuschert:1996,
      AUTHOR = {Kuschert, Susanna},
      TITLE = {Higher Order Dynamics},
      YEAR = {1996},
      MONTH = {January},
      NUMBER = {84},
      PAGES = {41},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {https://www.coli.uni-saarland.de/~kuschert/claus.ps.gz},
      ANNOTE = {COLIURL : Kuschert:1996:HOD.pdf Kuschert:1996:HOD.ps}
}

@InCollection{Kuschert:1997,
      AUTHOR = {Kuschert, Susanna},
      TITLE = {Akkommodation bei Anaphernresolution?},
      YEAR = {1997},
      BOOKTITLE = {Intelligente Informationsverarbeitung. Tagungsband der 3. Fachtagung der Gesellschaft für Kognitionswissenschaft},
      EDITOR = {Krause, W. and Kotkamp, U. and Goertz, R.},
      ADDRESS = {Leverkusen},
      PUBLISHER = {Deutscher Universitäts-Verlag GmbH}
}

@TechReport{Kuschert:1997_1,
      AUTHOR = {Kuschert, Susanna},
      TITLE = {Accomodation during Anaphora Resolution},
      YEAR = {1997},
      MONTH = {December},
      NUMBER = {92},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS Report},
      INSTITUTION = {Universität des Saarlandes}
}

@TechReport{Kuschert:1998,
      AUTHOR = {Kuschert, Susanna},
      TITLE = {Dynamic Deduction for Accomodation in Anaphora Resolution},
      YEAR = {1998},
      MONTH = {October},
      NUMBER = {100},
      PAGES = {16},
      ADDRESS = {Saarbrücken},
      TYPE = {CLAUS-Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus100.ps ftp://ftp.coli.uni-sb.de/pub/coli/claus/claus100.dvi},
      ANNOTE = {COLIURL : Kuschert:1998:DDA.pdf Kuschert:1998:DDA.ps Kuschert:1998:DDA.dvi}
}

@TechReport{Kuschert_et_al:1993,
      AUTHOR = {Kuschert, Susanna and Maier, Holger and Millies, Sebastian and Xu, Hui},
      TITLE = {SCOLD Kurzbeschreibung},
      YEAR = {1993},
      ADDRESS = {Saarbrücken},
      TYPE = {GuK Report},
      INSTITUTION = {Universität des Saarlandes}
}