Publication | Closed Access

A syntactic correspondence between context-sensitive calculi and abstract machines

Abstract MachineSyntaxSyntactic CorrespondenceAutomated ReasoningGrammatical FormalismComputational LinguisticsGrammarLanguage StudiesSemanticsLinguisticsComputational Semantics