Borin Júnior, Flávio, and Juliana Kaizer Vizzotto.
" Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming." <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação,
Recife/PE, 2025</em>. SBC, 2025,  
pp.84-92.