Introducimos un cálculo para tuplices, que son expresiones que generalizan matrices y vectores. Los tuplices tienen un tipo de dato subyacente para cantidades que se toman de un campo totalizado cero. Comenzamos con el cálculo tuplix central CTC para entradas y pruebas, que se combinan mediante composición conjuntiva. Definimos un modelo estándar y demostramos que CTC es relativamente completo con respecto a él. El cálculo central se extiende con operadores para elección, ocultación de información, multiplicación escalar, limpieza y encapsulación. Proporcionamos dos ejemplos de aplicaciones; uno sobre presupuestación financiera incremental, y otro sobre diseño de presupuestos financieros modulares.
Bergstra et al. (Tue,) estudiaron esta cuestión.