The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter

Koko Muroya, Dan R. Ghica. The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. Logical Methods in Computer Science, 15(4), 2019. [doi]

Abstract

Abstract is missing.