Applicative universal grammar
Semantic Scholar uses AI to extract papers important to this topic.
We introduce a linear infinitary λ-calculus, called ℓΛ∞, in which two exponential modalities are available, the first one being… (More)
We describe how type information can be used to infer grammatical structure. This is in contrast to conventional type inference… (More)
- Functional Programming
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and… (More)
To deal with long-distance dependencies, Applicative Universal Grammar (AUG) proposes a new type of categorial rides, called… (More)