Finite sum-product logic. Cockett, J.R.B., Seely, R.A.G. (2001) Theory and Applications of Categories [electronic only]
Functions provably total in I - Σ n Zofia Adamowicz, Teresa Bigorajska (1989) Fundamenta Mathematicae