Representing discourse in clausal syntax

Alignment Constraints in Swedish Clausal Syntax

Representing Discourse in Context

This article gives a survey of Discourse Representation Theory (DRT), including recent developments, and with an emphasis on logical issues. Discourse representation structures are de ned, and various prespectives on their static and dynamic meaning are discussed. This discussion leads to the study of the process of merging representation structures, a process which can be viewed as a strategy ...

Egocentricity in Discourse and Syntax

Constructing Syntax from Discourse

What is functionalism? Both Silverstein (1987) and Nichols (1984) have analyzed in detail the variety of ways functionalism has been used by linguists. Silverstein made a division into four types of functions, referential and pragmatic: (a) `sense-structure', (b) the `abstract, "sentence"-internal distribution of forms,' (c) the `use of signal forms for purposive, intentional social effect' (d)...

Syntax for Free: Representing Syntax with Binding Using Parametricity

We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation. To demonstrate the proof we have constructed a model of parametric polymorphism inside the Coq proof assistant. The proof of the theorem requires parame...