RUS
ENG
Полная версия
ЖУРНАЛЫ
// Lecture Notes in Computer Science
// Архив
Lecture Notes in Comput. Sci., 2019, том 11541,
страницы
373–391
(Mi lncs36)
Эта публикация цитируется в
4
статьях
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit
Max Kanovich
ab
,
Stepan Kuznetsov
cb
,
Andre Scedrov
db
a
University College London, London, UK
b
National Research University Higher School of Economics, Moscow, Russia
c
Steklov Mathematical Institute of the RAS, Moscow, Russia
d
University of Pennsylvania, Philadelphia, USA
Язык публикации:
английский
DOI:
10.1007/978-3-662-59533-6_23
Список цитирования
Реферативные базы данных:
©
МИАН
, 2024