An initial algebra approach to term rewriting systems with variable binders.

Published in: High. Order Symb. Comput. (2006)

Keyphrases

term rewriting systems
logic programs
functional programs
query language
databases
data structure
data model
integrity constraints
algebraic expressions