M. Cerioli, R. Freitas, and P. Viana.
"Another Calculational Proof of Cantor’s Theorem", in <em>Anais do III Workshop Brasileiro de Lógica</em>, Niterói, 2022, pp. 9-16, doi: <a href="https://doi.org/10.5753/wbl.2022.223244">https://doi.org/10.5753/wbl.2022.223244</a>.