Five Basic Concepts of Axiomatic Rewriting Theory
Logic in Computer Science
2016-10-03 v1 Programming Languages
Category Theory
Logic
Abstract
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\'evy, 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.
Cite
@article{arxiv.1609.09783,
title = {Five Basic Concepts of Axiomatic Rewriting Theory},
author = {Paul-André Melliès},
journal= {arXiv preprint arXiv:1609.09783},
year = {2016}
}
Comments
6 pages, 4 figures, Invited talk at the International Workshop on Confluence, Obergurgl 2016