文章基本信息

标题：Church-Rosser Properties of Normal Rewriting
本地全文：下载
作者：Jean-Pierre Jouannaud ; Jianqi Li
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2012
卷号：16
页码：350-365
DOI：10.4230/LIPIcs.CSL.2012.350
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We prove a general purpose abstract Church-Rosser result that captures most existing such results that rely on termination of computations. This is achieved by studying abstract normal rewriting in a way that allows to incorporate positions at the abstract level. New concrete Church-Rosser results are obtained, in particular for higher-order rewriting at higher types.
关键词：abstract normal rewriting; Church-Rosser property