nLab
mathematical linguistics

See also linguistics, categorial grammar, context-free grammar, linear logic