7 citations · 11 across the 2 of their papers we have counts for
6 papers
Intensional properties of polygraphs
Guillaume Bonfante, Yves Guiraud
We present polygraphic programs, a subclass of Albert Burroni's polygraphs, as a computational model, showing how these objects can be seen as first-order functional programs. We p…
Polygraphs for termination of left-linear term rewriting systems
Yves Guiraud
We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni's polygraphs, a kind of rewriting systems on algebraic circuit…
The three dimensions of proofs
Yves Guiraud
In this document, we study a 3-polygraphic translation for the proofs of SKS, a formal system for classical propositional logic. We prove that the free 3-category generated by this…
Two polygraphic presentations of Petri nets
Yves Guiraud
This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first on…
Termination orders for 3-polygraphs
Yves Guiraud
This note presents the first known class of termination orders for 3-polygraphs, together with an application.
Termination orders for 3-dimensional rewriting
Yves Guiraud
This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource management i…