TY  - RPRT
TI  - A polynomial time algorithm for the Lambek calculus with brackets of bounded order
AU  - Max Kanovich
AU  - Stepan Kuznetsov
AU  - Glyn Morrill
AU  - Andre Scedrov
PY  - 2017
DO  - 10.4230/lipics.fscd.2017.22
UR  - https://arxiv.org/abs/1705.00694
ID  - 1705.00694
ER  -