A. Kfoury, J. Tiuryn, P. Urzyczyn. On the Computational Power of Universally Polymorphic Recursion. In Proc. Symp. on Logic in Computer Science, Pages 72-81, June 1988.
[ Parametricity ]
A. J. Kfoury
J. Tiuryn
P. Urzyczyn
@InProceedings{ktu88b,
Author = {Kfoury, A. and Tiuryn, J. and Urzyczyn, P.},
Title = {On the Computational Power of Universally Polymorphic Recursion},
BookTitle = {Proc. Symp. on Logic in Computer Science},
Pages = {72--81},
Month = {June},
Year = {1988}
}
Get EndNote Reference (.ref)