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 Kanovichab, Stepan Kuznetsovcb, Andre Scedrovdb

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