Second-Order Linear-Time Computability with Applications to Computable Analysis.

Akitoshi Kawamura, Florian Steinberg, Holger Thies

Browse the full TAMC paper archive.