Theory and Applications of Computability | Revista