A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
On the Computational Power of Universally Polymorphic Recursion
LICS, 1988.
@inproceedings{LICS-1988-KfouryTU,
author = "A. J. Kfoury and Jerzy Tiuryn and Pawel Urzyczyn",
booktitle = "{Proceedings of the Third Annual Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1988.5102",
isbn = "0-8186-0853-6",
pages = "72--81",
publisher = "{IEEE Computer Society}",
title = "{On the Computational Power of Universally Polymorphic Recursion}",
year = 1988,
}