1. On compositions of (L-fuzzy) automata: A categorical approach;Fuzzy Sets and Systems;2024-01
2. Optics for Premonoidal Categories;Electronic Proceedings in Theoretical Computer Science;2023-12-14
3. A concrete model for a typed linear algebraic lambda calculus;Mathematical Structures in Computer Science;2023-11-21
4. Quantum Linear Optics via String Diagrams;Electronic Proceedings in Theoretical Computer Science;2023-11-16
5. Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps;Electronic Proceedings in Theoretical Computer Science;2023-11-16