A setting for generalized computability