Applied Type System: An Approach to Practical Programming with Theorem-Proving.

Published in: CoRR (2017)

Keyphrases

theorem proving
automatic programming
first order logic
automated reasoning
inference rules
decision procedures
automated deduction
parallel search
term rewriting
consequence finding
theorem prover
automated theorem proving
artificial intelligence
proof procedure
logical inference