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

Max Kanovich^a, Stepan Kuznetsov^ab, Glyn Morrill^c, Andre Scedrov<sup>da

a</sup> National Research University Higher School of Economics, Moscow, Russia
^b Steklov Mathematical Institute of RAS, Moscow, Russia
^c Universitat Politècnica de Catalunya, Barcelona, Spain
^d University of Pennsylvania, Philadelphia, USA

Language: English

DOI: 10.4230/LIPIcs.FSCD.2017.22

Bibliographic databases:

• 
•