Towards a formalization of budgets

Jan A. Bergstra, Sanne Nolst Trenité, Mark B. van der Zwaag

We go into the need for, and the requirements on, a formal theory of budgets. We present a simple algebraic theory of rational budgets, i.e., budgets in which amounts of money are…