Login / Signup
Theorem Proving for Untyped Constructive $\lambda$-Calculus: Implementation and Application.
Allan Ramsay
Published in:
Log. J. IGPL (2001)
Keyphrases
</>
theorem proving
predicate calculus
lambda calculus
theorem prover
decision procedures
first order logic
inference rules
automated reasoning
geometry theorem proving
term rewriting
proof planning
open source
data abstraction
proof procedure
consequence finding