I am also pursuing application of results in these areas to the problem of developing and maintaining large grammars. My doctoral studies were carried out in the Computer and Information Sciences Department at the University Delaware under K. Vijay-Shanker. Copies of my dissertation Studies in the Logic of Trees with Applications to Grammar Formalisms are available from the Univ. This is not yet available electronically, although an abstract is available here. The following preprints and drafts are available here.
Comments are welcome.
Generalized Tree-Adjoining Grammar. A paper presented at the Sixth Meeting on Mathematics of Language. To appear in The Glot International State of the Article Book I Holland Academic Graphics. To appear in Mathematics of Syntactic Structure . A full version is in preparation.