Nested proof search as reduction in the Lambda-calculus.

Published in: PPDP (2011)

Keyphrases

lambda calculus
proof search
predicate calculus
theorem proving
theorem prover
linear logic
programming language
proof procedure
inference rules
program understanding
higher order
complex objects
search procedure
database query languages
formal model
object oriented
fixed point