Effect polymorphism in higher-order logic.

Andreas Lochbihler

Published in: Arch. Formal Proofs (2017)

Keyphrases

higher order logic
higher order
theorem prover
logical framework
conditional logic
artificial intelligence
feature selection
decision trees
probabilistic model