F. Borin Júnior and J. Vizzotto.
" Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming", in <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação</em>, Recife/PE, 2025, pp. 84-92, doi: <a href="https://doi.org/10.5753/sblp.2025.13218">https://doi.org/10.5753/sblp.2025.13218</a>.