Bergstra, J. A.; Ponse, A.; Van Der Zwaag, M. B. Tuplix calculus. (English) Zbl 1424.68098 Sci. Ann. Comput. Sci. 18, 35-61 (2008). MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 91G99 Actuarial science and mathematical finance Keywords:tuplices; quantities; core tuplix calculus; information hiding; incremental financial budgeting PDF BibTeX XML Cite \textit{J. A. Bergstra} et al., Sci. Ann. Comput. Sci. 18, 35--61 (2008; Zbl 1424.68098)