Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
The equational theory of the Weihrauch lattice with (iterated) composition
Cécilia Pradic
We study the equational theory of the Weihrauch lattice with composition and iteration, meaning the collection of equations between terms built from variables, the lattice operatio…
cs.LO2024
The equational theory of the Weihrauch lattice with multiplication
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 …