Linguists use the word "category" to mean what computer scientists would call a variable symbol in a context-sensitive grammar. Charles Wells On Fri, Sep 11, 2009 at 5:38 PM, Michael Fourman <Michael.Fourman@ed.ac.uk>wrote:
You may also want to look at
groups.inf.ed.ac.uk/ccg/
en.wikipedia.org/wiki/Combinatory_categorial_grammar
as well as http://en.wikipedia.org/wiki/Categorial_grammar which includes some historical notes.
On 10 Sep 2009, at 21:25, John Baez wrote:
Pierre Cardscia wrote:
it seemed, but I'm not sure, that the Montreal school worked on that subject
in the past, but this information is unconfirmed ...
Joachim (= Jim) Lambek, at McGill University, has studied linguistics using category theory. You could start here:
http://www.google.com/search?&q=lambek+linguistics
http://wwwhomes.uni-bielefeld.de/gjaeger/lehre/cg_ss00/lambek/lambek58.html
Best, jb
Professor Michael Fourman FBCS CITP
Informatics Forum 10 Crichton Street Edinburgh EH8 9AB http://homepages.inf.ed.ac.uk/mfourman/ For diary appointments contact : mdunlop2(at)ed-dot-ac-dot-uk +44 131 650 2690
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]