FLACH, J. M.; MOREIRA, Álvaro F.; LAMB, L. C. Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming. Journal of the Brazilian Computer Society, [S. l.], v. 32, n. 1, p. 1382–1396, 2026. DOI: 10.5753/jbcs.2026.6101. Disponível em: https://journals-sol.sbc.org.br/index.php/jbcs/article/view/6101. Acesso em: 2 jun. 2026.