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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback