Login / Signup

Stateless Higher-Order Logic with Quantified Types.

Evan AustinPerry Alexander
Published in: ITP (2013)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • machine learning
  • software engineering
  • logical framework