Explorations in subexponential non-associative non-commutative linear logic

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

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

Language: English

DOI: 10.4204/EPTCS.381.3

Bibliographic databases:

• 

ArXiv: 2308.05537v1