Flach, J. M., Moreira, Álvaro F., & Lamb, L. C. (2026). Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming. Journal of the Brazilian Computer Society, 32(1), 1382–1396. https://doi.org/10.5753/jbcs.2026.6101