Paper Info
Title
Five Basic Concepts of Axiomatic Rewriting Theory.
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 Lu0027evy, 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.
Year
Venue
Field
2016
arXiv: Logic in Computer Science
Causality,Categorical semantics,Diagrammatic reasoning,Axiom,Computer science,Algorithm,Rewriting
DocType
Volume
Citations 
Journal
abs/1609.09783
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Paul-andré Melliès139230.70