|
Explorations in subexponential non-associative non-commutative linear logic
Eben Blaisdella, Max Kanovichb, Stepan L. Kuznetsovcd, Elaine Pimentelb, Andre Scedrova a University of Pennsylvania, USA
b University College London, UK
c Steklov Mathematical Institute of RAS, Russia
d HSE University, Russia
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/eptcs1
|
Статистика просмотров: |
Страница аннотации: | 12 |
|