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