RUS  ENG
Full version
JOURNALS // Lecture Notes in Computer Science // Archive

Lecture Notes in Comput. Sci., 2019, Volume 11541, Pages 373–391 (Mi lncs36)

This article is cited in 4 papers

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

Language: English

DOI: 10.1007/978-3-662-59533-6_23



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024