|
This article is cited in 6 scientific papers (total in 6 papers)
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
Received: 29.02.2016
Linking options:
https://www.mathnet.ru/eng/jlc2
|
Statistics & downloads: |
Abstract page: | 86 |
|