Borin Júnior, F., & 		Vizzotto, J.
2025 Sep 22.  Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming. Proceedings of the Brazilian Symposium on Programming Languages (SBLP). [Online] :