A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming.
João M. FlachLuís C. LambPublished in: CoRR (2023)
Keyphrases
- functional programming
- lambda calculus
- programming language
- artificial intelligence
- functional language
- object oriented programming
- execution model
- expert systems
- object oriented
- general purpose
- machine learning
- database query languages
- logic programming
- predicate calculus
- data structure
- query language
- higher order
- program understanding
- high level