On the computational power of univerally polymorphic recursion (1988)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:Proc. IEEE Symp. on Logic in Computer Science