4 ms·

Chris Barker of NYU does a lot of category theory and linguistics work. I remember a colloquium or two which did good work in talking about modeling certain sem

Chris Barker of NYU does a lot of category theory and linguistics work. I remember a colloquium or two which did good work in talking about modeling certain semantic structures in monad terms. I remember it because at the time I liked the idea of keeping a monadically updated 'context' node (at or above C) in an otherwise fairly orthodox Chomskyan x-bar framework to start modeling the syntax-semantics interface, but never really pursued linguistics as the money was just so bad. Good times, formal linguistics could use some of the rigor and computational methods that computer science has offered for a few decades.

jesuslop 7y ago
That colloquium looked nice, I assume no slides are available? Barker is anouncing another seminar on deep learning and semantics, that looks intriguing from the attached public materials. I think that compsci furnishes ideas from formal language parsing that can be toy models of fragments of natural languages, Montague made a case in favour of formalizability. Wadler investigated monadic parsing and this can be an entry point for what is happening in linguistics. I have as reference arXiv:cs/0205026v1 added: on Barker seminar day 4 I see CCG derivations that are a close formalism of pregroup grammars used in the original post, nice to see this concurrently with nnets talk.