1. (100%) Free Variables and Subexpressions in Higher-Order Meta Logic - Meta Logic,Chuck Liang
with the requirements of term-rewriting. A new meta-level representation of subterms is developed that will allow term-rewriting systems to be formulated in a higher-order meta logic.
(ps) - 31-mar-2009