HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism.

Norbert Völker

Published in: TPHOLs (2007)

Keyphrases

decision problems
higher order logic
higher order
theorem prover
conditional logic
pairwise
logical framework
theorem proving