@dblp

A computable approach to measure and integration theory.

. LICS, page 463-472. IEEE Computer Society, (2007)

Links and resources

Tags