Abstract (EN):
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 categorical grammars, designed to test the practical feasibility of such a calculus. © Springer-Verlag Berlin Heidelberg 1995.
Language:
English
Type (Professor's evaluation):
Scientific
No. of pages:
12