Fibrational perspectives on determinization of finite-state automata. - Thea Li (ACT, 2024)

Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach. - Thea Li; Vladimir Zamdzhiev (FoSSaCS, 2026)