On a Higher-Order Calculus of Computational Fields