Categorifying computable reducibilities

Authors

Davide Trotta

Manlio Valenti

Valeria de Paiva