Computational Complexity of Higher Type Functions (1991)

by Co Stephen A Cook
Venue:Proc. 1990 Intl. Cong. of Mathematicians