Confluence and Termination of Simply Typed Term Rewriting Systems.

Toshiyuki Yamada

Published in: RTA (2001)

Keyphrases

term rewriting systems
rewrite systems
term rewriting
logic programs
functional programs
active rules
higher order
lambda calculus
knowledge base
general purpose