Flach JM, Moreira Álvaro F, Lamb LC. Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming. JBCS [Internet]. 2026May26 [cited 2026Jun.2];32(1):1382-96. Available from: https://journals-sol.sbc.org.br/index.php/jbcs/article/view/6101