Login / Signup
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
Zachary Snow
David Baelde
Gopalan Nadathur
Published in:
CoRR (2010)
Keyphrases
</>
proof search
lambda calculus
theorem proving
predicate calculus
linear logic
theorem prover
proof procedure
inference rules
proof planning
search procedure
fixed point
higher order
first order logic
programming language
sequent calculus
semantic network
genetic algorithm
search space