10.6084/m9.figshare.1032660.v1 Marius Buliga Marius Buliga Zipper logic figshare 2014 graph rewrite graphic lambda calculus chemical concrete machine combinatory logic lambda calculus artificial chemistry chemlambda glc Theoretical Computer Science Cheminformatics Computation Theory and Mathematics Distributed Computing 2014-05-21 12:54:25 Journal contribution https://figshare.com/articles/journal_contribution/Zipper_logic/1032660 <p>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.</p>