Аналитикам.

[thesz]

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

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.9564 - улучшенная и расширенная версия системы типов первой статьи. Даже показано, как проводить изменение залога сказуемого с действительного на страдательный.

(и себе в закладки, а то что-то я который раз это дело ищу)