Cerioli, M., 		Freitas, R., & 		Viana, P.
(2022).
Another Calculational Proof of Cantor’s Theorem.
In <em>Anais do III Workshop Brasileiro de Lógica</em>, (pp. 9-16). Porto Alegre: SBC.
doi:10.5753/wbl.2022.223244