Ronald V. Book
-
On Operators of Higher Types
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity