Márcia Cerioli, Renata Freitas, and Petrucio Viana. 2022.
Another Calculational Proof of Cantor’s Theorem. In <em>Anais do III Workshop Brasileiro de Lógica</em>, julho 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 9-16. DOI: <a href="https://doi.org/10.5753/wbl.2022.223244">https://doi.org/10.5753/wbl.2022.223244</a>.