Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Subexponentials in non-commutative linear logic”, Math. Structures Comput. Sci., 2019, Volume 29, Issue 8,Pages <nobr>1217–1249</nobr>

RUS ENG

JOURNALS // Mathematical Structures in Computer Science. A Journal in the Applications of Categorical, Algebraic and Geometric Methods in Computer Science // Archive

Math. Structures Comput. Sci., 2019, Volume 29, Issue 8, Pages 1217–1249 (Mi mscs2)

This article is cited in 22 papers

Subexponentials in non-commutative linear logic

Max Kanovich^a, Stepan Kuznetsov^b, Vivek Nigam^cd, Andre Scedrov^e

^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.

Accepted: 02.05.2018

Language: English

DOI: 10.1017/S0960129518000117

Cited by

Bibliographic databases:

ArXiv: 1709.03607

© Steklov Math. Inst. of RAS, 2024