External and internal syntax of the lambda-calculus.
Masahiko SatoRandy PollackPublished in: J. Symb. Comput. (2010)
Keyphrases
- lambda calculus
- predicate calculus
- programming language
- theorem proving
- first order logic
- formal model
- database query languages
- semantic network
- type checking
- predicate logic
- complex objects
- external world
- database
- high level
- higher order
- natural language processing
- software engineering
- natural language
- database systems
- program understanding
- artificial intelligence
- databases