Hello to all. I can't find any contributions to machine translation using pregroup grammar or Lambek calculus, on the net. I am working on this and wanted to know if there is any literature.
It's not exactly what you're looking for, but it may help you: http://revistacaracteres.net/revista/vol1n2noviembre2012/desarrollos-en-la-traduccion-automatica-esperando-aun-una-traduccion-de-alta-calidad/
I do not know much about pregroup grammar, but you can check the attached paper that creates the grammar rules from a set of examples for syntax transfer machine translation (Arabic - English)
Conference Paper Machine translation model using inductive logic programming