Flach, João Marcos, Álvaro F. Moreira, and Luis C. Lamb. 2026. “Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming”. Journal of the Brazilian Computer Society 32 (1):1382-96. https://doi.org/10.5753/jbcs.2026.6101.