|
This article is cited in 1 scientific paper (total in 1 paper)
Non-associative, Non-commutative Multi-modal Linear Logic
Eben Blaisdella, Max Kanovichb, Stepan L. Kuznetsovcd, Elaine Pimentelb, Andre Scedrova a Department of Mathematics, University of Pennsylvania, Philadelphia, USA
b Department of Computer Science, University College London, London, UK
c Steklov Mathematical Institute of RAS, Moscow, Russia
d Faculty of Computer Science, HSE University, Moscow, Russia
Linking options:
https://www.mathnet.ru/eng/lncs48
|
Statistics & downloads: |
Abstract page: | 39 |
|