|
This article is cited in 4 scientific papers (total 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
Linking options:
https://www.mathnet.ru/eng/lncs36
|
Statistics & downloads: |
Abstract page: | 70 |
|