Flach, J.M., Moreira, Álvaro F. and 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 (May 2026), 1382–1396. DOI:https://doi.org/10.5753/jbcs.2026.6101.