34 citations · 54 across the 14 of their papers we have counts for
1 paper · 1 filter
Eike Neumann, Arno Pauly, Cécilia Pradic
We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations ⊔…