Bruno Codenotti Istituto di Informatica e Telematica, Italy Journal Computability ISSN: 22113568 Read Online