On the Computational Power of Universally Polymorphic Recursion

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Browse the full LICS paper archive.