Categorifying computable reducibilities

Author

Davide Trotta, Manlio Valenti, Valeria de Paiva