Folding left and right over Peano numbers

Olivier Danvy. Folding left and right over Peano numbers. Journal of Functional Programming, 29, 2019. [doi]

Abstract

Abstract is missing.