|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Bracket induction for the Lambek calculus with bracket modalities
Glyn Morrilla, Stepan Kuznetsovbc, Max Kanovichdc, Andre Scedrovec a 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.
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/lncs31
|
|