This article is cited in 5 papers

Bracket induction for the Lambek calculus with bracket modalities

Glyn Morrill^a, Stepan Kuznetsov^bc, Max Kanovich^dc, Andre Scedrov<sup>ec

a</sup> Universitat Politécnica de Catalunya, Barcelona, Spain
^b Steklov Mathematical Institute of the RAS, Moscow, Russia
^c National Research University Higher School of Economics, Moscow, Russia
^d University College London, London, UK
^e University of Pennsylvania, Philadelphia, U.S.A.

Language: English

DOI: 10.1007/978-3-662-57784-4_5

Bibliographic databases:

• 
•