A computable approach to measure and integration theory

Abbas Edalat. A computable approach to measure and integration theory. Inf. Comput., 207(5):642-659, 2009. [doi]

Abstract

Abstract is missing.