@misc{indiciae9e3ea0456a78, title = {A Classical Linear \$λ\$-Calculus based on Contraposition}, author = {Pablo Barenbaum and Eduardo Bonelli and Leopoldo Lerena}, year = {2026}, url = {https://arxiv.org/abs/2602.02822}, note = {Source identifier: 2602.02822} }