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