Computational complexity of higher type functions (1991)

by S Cook
Venue:In Ichiro Satake, editor, Proceedings of the International Congress of Mathematicians, Kyoto, Japan