This article is cited in 10 papers

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

Language: English

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

Bibliographic databases:

• 
• 
•