Flach, João Marcos, Álvaro F. Moreira, and Luis C. Lamb. “Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming”. Journal of the Brazilian Computer Society 32, no. 1 (May 26, 2026): 1382–1396. Accessed June 2, 2026. https://journals-sol.sbc.org.br/index.php/jbcs/article/view/6101.