Non-linear Second Order Abstract Categorial Grammars and Deletion

Sylvain Salvati
unpublished
We prove that non-linear second order Abstract Categorial Grammars(2ACGs) are equivalent to non-deleting 2ACGs. We prove this resultfirst by using the intersection types discipline. Then we explainhow coherence spaces can yield the same result. This result showsthat restricting the Montagovian approach to natural languagesemantics to use only $\L I$-terms has no impact in terms of thedefinable syntax/semantics relations.
doi:10.29007/644d fatcat:lxtc5rmifrgndp7kbk335xffr4