Report Number: CS-TN-98-77
Institution: Stanford University, Department of Computer Science
Title: A Linguistic Characterization of Bounded Oracle Computation and
Author: Mitchell, J.
Author: Mitchell, M.
Author: Scedrov, A.
Date: May 4, 1998
Abstract: We present a higher-order functional notation for polynomial-time
http://i.stanford.edu/pub/cstr/reports/cs/tn/98/77/CS-TN-98-77.pdf