...
机译:寻址术语重写系统:应用于类型化对象演算
Worcester Polytech Inst, Dept Comp Sci, Worcester, MA 01609 USA;
Ecole Normale Super Lyon, Lab Informat Parallelisme, F-69364 Lyon 07, France;
INRIA Sophia Antipolis, FR-06902 Sophia Antipolis, France;
IMPLEMENTATION; FRAMEWORK; LANGUAGES; MACHINES;
机译:汇合终止和终端类型的lambda演算的汇合终止上下文无关的替代重写系统
机译:地面术语重写系统的新可判定性技术及其应用
机译:简易术语重写系统中通过强计算性增强依赖对方法
机译:类型化Lambda演算与任意会聚项重写系统的组合系统的强规范性
机译:术语重写系统和Church-Rosser财产
机译:新的Poisson–Sch型不等式及其在量子微积分中的应用
机译:寻址术语重写系统:应用于类型化对象演算
机译:派生对,重叠闭包和重写多米诺:用于分析术语重写系统的新工具