@misc{indiciaef113be789487,
  title = {Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming},
  author = {João Flach and Alvaro F. Moreira and Luis C. Lamb},
  year = {2025},
  url = {https://arxiv.org/abs/2304.09276},
  note = {Source identifier: 2304.09276}
}