J. M. Flach, Álvaro F. Moreira, and L. C. Lamb, “Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming”, JBCS, vol. 32, no. 1, pp. 1382–1396, May 2026.