Towards a Formalization of Budgets (2008)
Jan A. Bergstra, Sanne Nolst Trenité
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 specified by...
Towards a formalization of budgets (2008)
Bergstra, Jan A., Trenité, Sanne Nolst, Van Der Zwaag, Mark B.
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 specified by...
Towards a Formalization of Budgets (2007)
J. A. Bergstra, S. Nolst Trenite, J. A. Bergstra, S. Nolst Trenite, ...
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 specified by...