Primitive recursion for higher-order abstract syntax.

Carsten Schürmann Joëlle Despeyroux Frank Pfenning

Published in: Theor. Comput. Sci. (2001)

Keyphrases

higher order
high level
higher level
high order
natural images
low order
markov models
deductive databases
pairwise
data mining
complex objects
low level
natural language
real time
multiscale
knowledge base
precisely defined