Call-by-Value Combinatory Logic and the Lambda-Value Calculus.
John GateleyBruce F. DubaPublished in: MFPS (1991)
Keyphrases
- lambda calculus
- computer algebra
- natural deduction
- formal language
- algebraic structure
- sequent calculus
- proof procedure
- computational properties
- linear time temporal logic
- proof search
- transition systems
- cut elimination
- logic programming
- modal logic
- automated theorem proving
- database query languages
- classical logic
- theorem prover
- predicate calculus
- proof theoretic
- linear logic
- multi valued
- fixed point
- model checking
- neural network
- epistemic logic
- proof theory
- truth values
- probabilistic logic
- automated reasoning
- inference rules
- linear temporal logic
- term rewriting
- logic programs
- tableau calculus
- programming language