Abstract
A prefix property is the property that, given a reduction, the
ancestor of a prefix of the target is a prefix of the source. In this paper we
prove a prefix property for the class of Higher-Order Rewriting Systems
with patterns (HRSs), by reducing it to a similar prefix property of a
λ-calculus with
... read more