The Function-Representation Model of Computation