A definitional approach to primitivexs recursion over higher order abstract syntax.
S. J. AmblerRoy L. CroleAlberto MomiglianoPublished in: MERLIN (2003)
Keyphrases
- higher order
- high level
- high order
- higher level
- markov random field
- pairwise
- transitive closure
- markov models
- lambda calculus
- low order
- complex objects
- data sets
- conditional random fields
- natural images
- question answering
- bayesian networks
- datalog programs
- operational semantics
- lower order
- definition language
- precisely defined
- anti unification
- low level