Jump to : Keyword | Contact | BibTex reference | EndNote reference |

ktu88b

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.

Keyword

[ Parametricity ]

Contact

A. J. Kfoury
J. Tiuryn
P. Urzyczyn

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)