Субэкспоненциальные модальности в некоммутативной линейной логике.

Доклад на семинаре “Математические модели информационных технологий“ под руководством С.О. Кузнецова, департамент анализа данных и искусственного интеллекта и международная лаборатория интеллектуальных систем и структурного анализа, факультет компьютерных наук НИУ ВШЭ.