Flach, J. M.; Moreira, Álvaro F.; Lamb, L. C. Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming. JBCS 2026, 32, 1382-1396.