Computability theory of generalized functions | Journal of the ACM (JACM) | DeepDyve