公理化重写理论的五个基本概念
Five Basic Concepts of Axiomatic Rewriting Theory
摘要：
在这次特邀演讲中，我将回顾公理化重写理论的五个基本概念，这是一种重写的公理化和图解理论，始于25年前的一篇LICS论文，由Georges Gonthier和Jean-Jacques Lévy撰写，并在随后的几年中发展成为一个完整的二维重写因果关系和剩余理论。我将给出一个当代的理论，告知我后来的工作范畴语义和高维代数，也表明了一些目前的研究方向在该领域。
英文摘要：
In this invited talk, I will review five basic concepts of Axiomatic Rewriting Theory, an axiomatic and diagrammatic theory of rewriting started 25 years ago in a LICS paper with Georges Gonthier and Jean-Jacques Lévy, and developed along the subsequent years into a full-fledged 2-dimensional theory of causality and residuation in rewriting. I will give a contemporary view on the theory, informed by my later work on categorical semantics and higher-dimensional algebra, and also indicate a number of current research directions in the field.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
