The impact of the lambda calculus in logic and computer science.
Henk BarendregtPublished in: Bull. Symb. Log. (1997)
Keyphrases
- lambda calculus
- computer science
- predicate calculus
- programming language
- higher order
- program understanding
- database query languages
- formal model
- artificial intelligence
- object oriented
- predicate logic
- complex objects
- logic programming
- temporal logic
- first order logic
- data mining
- data management
- general purpose
- machine learning