Sciweavers

EACL
1989
ACL Anthology

Lambek Theorem Proving And Feature Unification

13 years 10 months ago
Lambek Theorem Proving And Feature Unification
CT Feature Unification can be integrated with Lambek Theorem Proving in a simple and straightforward way. Two principles determine all distribution of features in LTP. It is not necessary to stipulate other principles or include category-valued features where other theories do. The structure of categories is discussed with respect to the notion of category structure of Gazdar et al. (1988).
Erik-Jan van der Linden
Added 06 Nov 2010
Updated 06 Nov 2010
Type Conference
Year 1989
Where EACL
Authors Erik-Jan van der Linden
Comments (0)