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), pp. 1382–1396. doi: 10.5753/jbcs.2026.6101.