2This view of typed feature structures differs from the perspective on typed feature structures as modeling partial information as in ( Carpenter , 1992 ) .
the logic of typed feature structures  with applications to unification grammars logic programs and constraint resolution
Bob Carpenter
Typed feature grammars can be used as the basis for implementations of Head-driven Phrase Structure Grammar ( Pollard and Sag , 1994 ) .3 ( Meurers and Minnen , 1997 ) propose a compilation of lexical rules into TIT definite clauses 2This view of typed feature structures differs from the perspective on typed feature structures as modeling partial information as in ( Carpenter , 1992 ) . Typed feature structures as normal form TFC terms are merely syntactic objects .
2This view of typed feature structures differs from the perspective on typed feature structures as modeling partial information as in ( @@CITATION ) .