A polynomial time algorithm for the Lambek calculus with brackets of bounded order

Devs

A polynomial time algorithm for the Lambek calculus with brackets of bounded order | Read Paper on Bytez