Higher-order representation predicates in separation logic.
Arthur CharguéraudPublished in: CPP (2016)
Keyphrases
- higher order
- high order
- multi valued
- lambda calculus
- logic programming
- image representation
- automated reasoning
- higher order logic
- relation algebra
- natural images
- markov random field
- feature representation
- object recognition
- predicate calculus
- lower order
- asynchronous circuits
- proof theory
- anti unification
- predicate invention