Samuel R. Buss Bruce M. Kapron Resource-Bounded Continuity and Sequentiality for Type-Two Functionals. 77-83 2000 LICS http://www.computer.org/proceedings/lics/0725/07250077abs.htm db/conf/lics/lics2000.html#BussK00