1. (100%) Free Variables and Subexpressions in Higher-Order Meta Logic - Meta Logic,Chuck Liang
that will allow term-rewriting systems to be formulated in a higher-order meta logic. ...This paper addresses the problem of how to represent free variables and subexpressions involving
(ps) - 31-mar-2009