|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
Max Kanovichab, Stepan Kuznetsovcb, Andre Scedrovdb a 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
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/jlc2
|
|