Flach, J. M., Álvaro F. Moreira, and L. C. Lamb. “Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming”. Journal of the Brazilian Computer Society, vol. 32, no. 1, May 2026, pp. 1382-96, doi:10.5753/jbcs.2026.6101.