Higher-Order Abstract Syntax with Induction in Coq.
Joëlle DespeyrouxAndré HirschowitzPublished in: LPAR (1994)
Keyphrases
- higher order
- high level
- natural images
- formal methods
- pairwise
- high order
- lambda calculus
- rule induction
- higher level
- machine learning
- program synthesis
- low level
- inductive logic programming
- concept learning
- constructive induction
- predicate calculus
- lower order
- markov random field
- inductive learning
- markov models
- natural language
- low order
- artificial intelligence
- anti unification
- database