The following pages link to (Q2762870):
Displaying 15 items.
- Displacement logic for anaphora (Q386040) (← links)
- Structured anaphora to quantifier domains (Q964496) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- The anaphora problem (Q1260651) (← links)
- Predicate logic with flexibly binding operators and natural language semantics (Q1314273) (← links)
- Quantifiers, anaphora, and intensionality (Q1361403) (← links)
- Binding domains: anaphoric and pronominal pronouns in categorial grammar (Q1744954) (← links)
- A model-theoretic reconstruction of type-theoretic semantics for anaphora (Q1744958) (← links)
- Handling verb phrase anaphora with dependent types and events (Q1799285) (← links)
- A computational treatment of anaphora and its algorithmic implementation (Q2035844) (← links)
- A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction (Q2425336) (← links)
- (Q3211283) (← links)
- (Q4599179) (← links)
- On Anaphora and the Binding Principles in Categorial Grammar (Q4931599) (← links)
- Stripping isn't so mysterious, or anomalous scope, either (Q6155207) (← links)