The lambda-calculus with constructors: Syntax, confluence and separation.
Ariel ArbiserAlexandre MiquelAlejandro RíosPublished in: J. Funct. Program. (2009)
Keyphrases
- lambda calculus
- predicate calculus
- predicate logic
- knowledge representation and reasoning
- semantic network
- programming language
- formal model
- description logics
- database query languages
- theorem proving
- first order logic
- program understanding
- type checking
- higher order
- high level
- database systems
- database
- theorem prover
- knowledge representation
- transitive closure
- object oriented
- software engineering
- artificial intelligence