Guido Gherardi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Vasco Brattka
5 publications
Eugenio Orlandelli
3 publications

research

∙ 04/14/2022

Non-Normal Super-Strict Implications

This paper introduces the logics of super-strict implications that are b...

0 Guido Gherardi, et al. ∙

research

∙ 10/29/2019

Completion of Choice

We systematically study the completion of choice problems in the Weihrau...

0 Vasco Brattka, et al. ∙

research

∙ 09/02/2018

Weihrauch goes Brouwerian

We prove that the Weihrauch lattice can be transformed into a Brouwer al...

0 Vasco Brattka, et al. ∙