, Universita' degli studi di Parma, Italy

• Journal of Formalized Reasoning Vol. 4 No. 1 (2011) - Articles
  A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration
  Abstract  PDF