Cavalcante, P. (2025). Extending Curry-Howard-Lambek: The Structure-Logic-Computation (SLC) Theorem. https://doi.org/10.5281/zenodo.15724275