Abstract Eijck
The talk sketches a dynamic incremental semantics for NL in polymorphic type theory, with a couple of fragments implemented in the functional programming language Haskell. We start out with a barebones framework, and next extend this to a set-up that can handle salience and pronoun resolution in context. The barebones framework can be viewed as the first reconstruction of Discourse Representation Theory in type theory that does justice to the incrementality and the finite domain semantics of the original. The second framework demonstrates how a slight extension of the context notion is enough for an implementation of a simple but powerful mechanism for pronoun reference resolution.Last modified $Date: 2001/10/04 13:39:45 $ by Parlevink Webmaster