Categorifying computable reducibilities

Author

Davide Trotta, Manlio Valenti, Valeria de Paiva

Doi

https://doi.org/10.46298/lmcs-21(1:15)2025