Constraint Categorial Grammars

Luis Damas, Nelma Moreira

Although unification can be used to implement a weak form of $\beta$-reduction, several linguistic phenomena are better handled by using some form of $\lambda$-calculus. In this paper we pre…