Login / Signup

Program Extraction in Simply-Typed Higher Order Logic.

Stefan Berghofer
Published in: TYPES (2002)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • conditional logic
  • logical framework
  • pairwise
  • information extraction
  • computational complexity
  • graphical models