most citedImproved Analysis of Kannan's Shortest Lattice Vector Algorithm

136 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2007★ 7 cited

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…