Login / Signup

Type Classes and Overloading in Higher-Order Logic.

Markus Wenzel
Published in: TPHOLs (1997)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • logical framework
  • machine learning
  • decision trees
  • feature space