On Sharing, Memoization, and Polynomial Time.

Martin Avanzini, Ugo Dal Lago

Browse the full STACS paper archive.