On the Membership Problem for Non-Linear Abstract Categorial Grammars
- First Online:
- 54 Downloads
In this paper we show that the membership problem for second order non-linear Abstract Categorial Grammars is decidable. A consequence of that result is that Montague-like semantics yield to a decidable text generation problem. Furthermore the proof we propose is based on a new tool, Higher Order Intersection Signatures, which grasps statically dynamic properties of λ-terms and presents an interest in its own.
KeywordsLambda-calculus Intersection types Montague semantics Text generation Formal grammars
Unable to display preview. Download preview PDF.