Borin Júnior, Flávio, E 		Vizzotto, Juliana.
" Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (22 setembro 2025)