|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
L-models and R-models for Lambek calculus enriched with additives and the multiplicative unitдоклад на конференции
- Авторы: Kanovich Max, Kuznetsov Stepan, Scedrov Andre
- Международная Конференция : WoLLIC 2019
- Даты проведения конференции: 2-5 июля 2019
- Дата доклада: 3 июля 2019
- Тип доклада: Пленарный
- Докладчик: Kuznetsov Stepan
- Место проведения: Утрехт, Netherlands
- Добавил в систему: Кузнецов Степан Львович