Según John Backus, para que la computación se acercase más a una ciencia o a una disciplina de ingeniería y menos a un arte, debería convertirse primero en una disciplina matemática y para ello, sería importante lograr que el espacio de programas sea un espacio matemático con respecto a las operaciones de formación de programas o funcionales, y distinguirlo del espacio de valores con sus operaciones específicas de construcción de valores.