A Classical Linear λ-Calculus based on Contraposition. - Pablo Barenbaum; Eduardo Bonelli; Leopoldo Lerena (CoRR, 2026)