101 citations · 491 across the 53 of their papers we have counts for
1 paper · 2 filters
Kojiro Higuchi, Arno Pauly
We answer a question by Vasco Brattka and Guido Gherardi by proving that the Weihrauch-lattice is not a Brouwer algebra. The computable Weihrauch-lattice is also not a Heyting alge…