arXiv · cmp-lg/9507001
Constraint Categorial Grammars
Abstract
Although unification can be used to implement a weak form of $β$-reduction, several linguistic phenomena are better handled by using some form of $λ$-calculus. In this paper we present a higher order feature description calculus based on a typed $λ$-calculus. We show how the techniques used in \CLG for resolving complex feature constraints can be efficiently extended. \CCLG is a simple formalism, based on categorial grammars, designed to test the practical feasibility of such a calculus.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Luis Damas, Nelma Moreira. 1995-07-04. Constraint Categorial Grammars. https://arxiv.org/abs/cmp-lg/9507001
Cite the original work for its findings. Save a collection to share your selection of sources.