Paola Bonizzoni Università degli Studi di Milano-Bicocca, Italy Journal Computability ISSN: 22113568 Read Online