RUS  ENG
Полная версия
ЖУРНАЛЫ // Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science // Архив

Math. Structures Comput. Sci., 2019, том 29, выпуск 8, страницы 1217–1249 (Mi mscs2)

Эта публикация цитируется в 22 статьях

Subexponentials in non-commutative linear logic

Max Kanovicha, Stepan Kuznetsovb, Vivek Nigamcd, Andre Scedrove

a National Research University Higher School of Economics, Moscow, Russia
b Steklov Mathematical Institute of RAS, Moscow, Russia
c Federal University of Paraíba, João Pessoa, Brazil
d Fortiss GmbH, Munich, Germany
e University of Pennsylvania, Philadelphia, U.S.A.


Принята в печать: 02.05.2018

Язык публикации: английский

DOI: 10.1017/S0960129518000117



Реферативные базы данных:
ArXiv: 1709.03607


© МИАН, 2024