发表机构
JAIST（金泽工业高等专门学校）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文提出一种适用于无类型可应用项重写的多元集路径序变体，通过元数赋值和具体化两个特性解决部分及变量应用难题。
AI 中文摘要
我们为无类型的可应用项重写提出了一种多元集路径序的变体。与现有工作相比，我们的变体融入了两个独特特性，称为元数赋值和具体化，以克服处理部分应用和变量应用时的困难。
英文摘要
We present a variant of the multiset path order for untyped applicative term rewriting. Compared to existing work, our variant incorporates two distinctive features, dubbed arity assignment and reification, to overcome difficulties in handling partial and variable application.
