Talk by Michael Kohlhase, Susanna Kuschert and Manfred Pinkal
A Type-Theoretic
Semantics for lambda-DRT
This paper describes a direct, denotational
semantics for lambda-DRT which borrows ingredients from existing compositional
accounts of discourse semantics. In contrast to these, global
binding effects are achieved by partial assignments and direct,
type theoretic methods. The resulting formalism is not only more
general (it allows for a symmetric merge operator), but also
perhaps the most straightforward formalization to date.
Paul Dekker, November 2, 1995