A New Order-Theoretic Characterisation of the Polytime Computable Functions.

Martin Avanzini, Naohi Eguchi, Georg Moser

Browse the full APLAS paper archive.