Type-logical anaphora
Glyn V. Morrill · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 2000
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.