Borin Júnior, Flávio, and Juliana Kaizer Vizzotto.
" Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming." <em>Proceedings of the 29th Brazilian Symposium on Programming Languages,
Recife/PE, 2025</em>. SBC, 2025,  
pp.84-92.