Zipper logic
  Zipper logic is a graph rewrite system, consisting in only local rewrites on a class of zipper graphs. Connections with the chemlambda artificial chemistry and with knot diagrammatics based computation are explored in the article. 
Marius Buliga
math.CO cs.LO math.GT