–
Статьи в сборниках
-
- 2023 Explorations in Subexponential Non-associative Non-commutative Linear Logic
- Blaisdell Eben, Kanovich Max, Kuznetsov Stepan L., Pimentel Elaine, Scedrov Andre
- в сборнике Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), серия Electronic Proceedings in Theoretical Computer Science, место издания Open Publishing Association, том 381, с. 4-19 DOI