Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Explorations in subexponential non-associative non-commutative linear logic”, Electron. Proc. Theor. Comput. Sci., 2023, том 381,страницы 4–19

RUS ENG

Полная версия

ЖУРНАЛЫ // Electronic Proceedings in Theoretical Computer Science // Архив

Electron. Proc. Theor. Comput. Sci., 2023, том 381, страницы 4–19 (Mi eptcs1)

Explorations in subexponential non-associative non-commutative linear logic

Eben Blaisdell^a, Max Kanovich^b, Stepan L. Kuznetsov^cd, Elaine Pimentel^b, Andre Scedrov^a

^a University of Pennsylvania, USA
^b University College London, UK
^c Steklov Mathematical Institute of RAS, Russia
^d HSE University, Russia

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

DOI: 10.4204/EPTCS.381.3

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

ArXiv: 2308.05537v1

© МИАН, 2024