Borin Júnior, F., & 		Vizzotto, J.
2025 set 22.  Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :