Periodic Reporting for period 1 - Walgo (What is an Algorithm? Extensional and Intensional Equivalences between Programs)

Walgo focuses on the notion of Algorithms. While it is a central notion in computer science, we do not have any scientifically sound definition of an Algorithm.Starting from a re-reading of Rice's Theorem, Walgo consider an algorithm to be an equivalence class for a specific...