Type Raising

Steedman (1985, 1987) and others have proposed that Categorial Grammar, a theory of syntax in which grammati- cal categories are viewed as functions, be augmented with operators such as functional …...

This paper shows that a class of Combinatory Categorial Grammars (CCGs) augmented with a linguistically-motivated form of type raising involving variables is weakly equivalent to the standard CCGs not involving …...