%0 Conference Proceedings
%F ktu88b
%A Kfoury, A.
%A Tiuryn, J.
%A Urzyczyn, P.
%T On the Computational Power of Universally Polymorphic Recursion
%B Proc. Symp. on Logic in Computer Science
%P 72-81
%8 June
%D 1988
%K parametricity