11 citations · 17 across the 8 of their papers we have counts for
1 paper · 1 filter
Théo Zimmermann, Hugo Herbelin
In mathematics, it is common practice to have several constructions for the same objects. Mathematicians will identify them modulo isomorphism and will not worry later on which con…