Effectively closed sets and graphs of computable real functions.
scientific article; zbMATH DE number 1774165
scientific article