@article{aneurallambdacalculusneurosymbolicai,
  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 = {2023},
  eprint = {2304.09276},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2304.09276v2},
}