Tuplix Calculus Specifications of Financial Transfer Networks (2008)
Bergstra, J. A., Trenite, S. Nolst, Van Der Zwaag, M. B.
We study the application of Tuplix Calculus in modular financial budget design. We formalize organizational structure using financial transfer networks. We consider the notion of flux of money over a...
Bergstra, J. A., Ponse, A., Van Der Zwaag, M. B.
We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We...