A new order-theoretic characterisation of the polytime computable functions

Martin Avanzini, Naohi Eguchi, Georg Moser. A new order-theoretic characterisation of the polytime computable functions. Theoretical Computer Science, 585:3-24, 2015. [doi]

Abstract

Abstract is missing.