Abstract:
|
We present a type-logical account of anaphora.
The principal means is the introduction of type-constructors
for `secondary wrap': wrap around the second of two
split points in a discontinuous string. We illustrate in terms
of preevaluated proof nets, proof nets in which lexico-syntactic
interaction is computed in a lexical compilation rather than
at the stage of derivation. We suggest that the account offers
an explanation of the delay of principle B effect in the child
acquisition of anaphora. |