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

Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities

Max Kanovich^ab, Stepan Kuznetsov^cb, Andre Scedrov<sup>db

a</sup> University College London, Computer Science Department, London WC1E 6BT, UK
^b National Research University Higher School of Economics, Faculty of Computer Science, Moscow 109028, Russia
^c Steklov Mathematical Institute of the RAS, Department of Mathematical Logic, Moscow 119991, Russia
^d University of Pennsylvania, Department of Mathematics, Philadelphia 19104, USA

Поступила в редакцию: 29.02.2016

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

DOI: 10.1093/logcom/exaa010

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

• 
• 
•