• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit

P. 373-391.

В книге

Vol. 11541: Lecture Notes in Computer Science. Berlin; Heidelberg: Springer, 2019.