Citations (13)

DOI: https://doi.org/10.1007/978-3-662-53042-9_14

Funding agency	Grant number
Russian Foundation for Basic Research	15-01-09218-a 14-01-00127-a
Ministry of Education and Science of the Russian Federation	NSh-9091.2016.1
Engineering and Physical Sciences Research Council
Office of Naval Research
Stepan Kuznetsov’s research was supported by the Russian Foundation for Basic Research (grants 15-01-09218-a and 14-01-00127-a) and by the Undecidability of the Lambek Calculus with a Relevant Modality 255 Presidential Council for Support of Leading Scientific Schools (grant NSh-9091.2016.1). Max Kanovich’s research was partially supported by EPSRC. Andre Scedrov’s research was partially supported by ONR. This research was performed in part during visits of Stepan Kuznetsov and Max Kanovich to the University of Pennsylvania. We greatly appreciate support of the Mathematics Department of the University. A part of the work was also done during the stay of Andre Scedrov at the National Research University Higher School of Economics. We would like to thank S.O. Kuznetsov and I.A. Makarov for hosting there. The paper was prepared in part within the framework of the Basic Research Program at the National Research University Higher School of Economics (HSE) and was partially supported within the framework of a subsidy by the Russian Academic Excellence Project ‘5–100’.

Bibliographic databases:

Linking options:

https://www.mathnet.ru/eng/lncs5

This publication is cited in the following 13 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles