Proof Terms for Simply Typed Higher Order Logic.

Stefan Berghofer Tobias Nipkow

Published in: TPHOLs (2000)

Keyphrases

higher order logic
higher order
theorem prover
logical framework
machine learning
conditional logic
genetic programming
high level
theorem proving