Bajo este enfoque los programas, con los funcionales como operadores, forman un espacio matemático.