Computational Linguistics · 2000 · 105 citations · 16 references
EngineeringVerificationSemanticsFormal VerificationCorpus LinguisticsApplied LinguisticsNatural Language ProcessingSyntaxComputational LinguisticsGrammarLanguage StudiesModel Of ComputationMachine TranslationGrammatical FormalismCenter EmbeddingIncremental ProcessingComputer ScienceGrammar InductionProcess CalculusCategorial GrammarLeft-to-right Incremental ProcedureAutomated ReasoningConcurrency TheoryFormal MethodsLambek Categorial GrammarFormal SyntaxUnification GrammarLinguistics
We describe a left-to-right incremental procedure for the processing of Lambek categorial grammar by proof net construction. A simple metric of complexity, the profile in time of the number of unresolved valencies, correctly predicts a wide variety of performance phenomena including garden pathing, the unacceptability of center embedding, preference for lower attachment, left-to-right quantifier scope preference, and heavy noun phrase shift.
16
Jean-Yves Girard · Theoretical Computer Science · 1987 · 4K citations
The Mathematics of Sentence Structure
Joachim Lambek · American Mathematical Monthly · 1958 · 1.3K citations
Seven principles of surface structure parsing in natural language
John P. Kimball · Cognition · 1973 · 855 citations
A. E. Ades, Mark Steedman · Linguistics and Philosophy · 1982 · 246 citations
Applied Linguistics, Combinatorics On Word, Philosophy Of Language +6