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

A logical framework with commutative and non-commutative subexponentials

Max Kanovich^a, Stepan Kuznetsov^ba, Vivek Nigam^cd, Andre Scedrov<sup>ae

a</sup> National Research University Higher School of Economics, Moscow, Russia
^b Steklov Mathematical Institute of RAS, Moscow, Russia
^c Federal University of Paraíba, João Pessoa, Brazil
^d fortiss, Munich, Germany
^e University of Pennsylvania, Philadelphia, USA

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

DOI: 10.1007/978-3-319-94205-6_16

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

• 
• 
•