Extending Curry-Howard-Lambek: The Structure-Logic-Computation (SLC) Theorem - Cavalcante, Pedro (2025)