CONTRIBUTI / 1 / Simone Pinna, Marco Giunti / The work of Alan Turing (1936) set a milestone for the foundation of the concept of algorithm by grounding the notion of effective procedure...