Finitism, Imperative Programs and Primitive Recursion.

Daniel Leivant

Browse the full LFCS paper archive.