A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn On the Computational Power of Universally Polymorphic Recursion 72-81 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#KfouryTU88