1. Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic;Electronic Proceedings in Theoretical Computer Science;2023-08-07
2. Computational Logic for Biomedicine and Neurosciences;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04
3. A system of inference based on proof search: an extended abstract;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
4. Complexity of the Lambek Calculus and Its Extensions;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023
5. Versions of a Local Contraction Subexponential in the Lambek Calculus;Algebra and Logic;2022-09