Home
Work
Team
Events
Blog
Community
Categorifying computable reducibilities
Author
Davide Trotta, Manlio Valenti, Valeria de Paiva