Эта публикация цитируется в 1 статье

Non-associative, Non-commutative Multi-modal Linear Logic

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

a</sup> 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

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

DOI: 10.1007/978-3-031-10769-6_27

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

•