Keyphrases
- higher order
- type checking
- high order
- pairwise
- natural images
- low order
- markov random field
- lower order
- rewrite systems
- data types
- termination analysis
- lambda calculus
- term rewriting
- markov models
- high level
- neural network
- logic programs
- programming language
- computational complexity
- artificial intelligence
- object oriented languages
- real world
- databases
- data sets