I was pleased to find recently a fresh new paper from people from the Cambridge Quantum Computing group that touches and amplify issues I considered in older posts at
https://groups.google.com/d/msg/opencog/mX93L866Z_Q/rxfaZWkQCgAJ. They detail a functorial Montague semantics. I find this model amenable to integration with further ideas. Regards, JL.
Montague Semantics for Lambek Pregroups,
Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi