Login / Signup
A type-based termination criterion for dependently-typed higher-order rewrite systems
Frédéric Blanqui
Published in:
CoRR (2006)
Keyphrases
</>
rewrite systems
higher order
term rewriting
quantifier free
active rules
lambda calculus
knuth bendix
pairwise
theorem proving
databases
expert systems
type checking
database query languages