Develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars t... » 

Develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. This book's self-contained presentation makes it flexible enough to serve as both a research tool and a text book. «