Аналитикам.

[thesz]

http://web.cecs.pdx.edu/~mpj/pubs/aug.html - статья про применение типов к анализу структуры предложения

Comments

[donnerpeter]

Еще бывает Combinatory Categorial Grammar (ftp://ftp.cogsci.ed.ac.uk/pub/steedman/ccg/SteedmanBaldridgeNTSyntax.pdf и другие статьи Стидмана). Более известна в лингвистических кругах, и не менее типизирована. Примеров применения к реальным языковым явлениям, кажется, побольше, чем в AUG. При этом правил вывода тоже больше, но это, вроде, окупается.

[thesz]

Здорово.

Почитаем. ;)