Login / Signup

Experiments with Choice in Dependently-Typed Higher-Order Logic.

Daniel RanalterChad E. BrownCezary Kaliszyk
Published in: LPAR (2024)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • logical framework
  • conditional logic
  • artificial intelligence
  • decision trees
  • machine learning
  • high dimensional