The Semantics of Second-Order Lambda Calculus
Kim B. BruceAlbert R. MeyerJohn C. MitchellPublished in: Inf. Comput. (1990)
Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- higher order
- programming language
- logic programming
- expressive power
- relational algebra
- first order logic
- database systems
- semantic network
- theorem proving
- predicate logic
- aggregate functions
- program understanding
- general purpose
- databases
- natural language processing
- knowledge base
- artificial intelligence