Polymorphic Call-by-Value Calculus Based on Classical Proofs.

Ken-etsu Fujita

Published in: AISC (1998)

Keyphrases

natural deduction
automated theorem proving
theorem prover
sequent calculus
theorem proving
proof search
formal language
natural language
artificial neural networks
decision procedures
computer algebra
cut elimination