7 citations · 11 across the 2 of their papers we have counts for
4 papers · 1 filter
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…