Return to Article Details Towards a Neural Lambda Calculus: Neurosymbolic AI Applied to the Foundations of Functional Programming Download Download PDF