1 paper
Davide Trotta, Manlio Valenti, Valeria de Paiva
This paper presents categorical formulations of Turing, Medvedev, Muchnik, and Weihrauch reducibilities in Computability Theory, utilizing Lawvere doctrines. While the first notion…