Mobile Computation with Functions by