Higher-order abstract syntax in classical higher-order logic.

Douglas J. Howe

Published in: LFMTP (2009)

Keyphrases

higher order logic
higher order
lower order
high level
high order
theorem prover
markov random field
logical framework
pairwise
machine learning
natural language
conditional logic