Computable Riesz Representation for the Dual of C. - Hong Lu 011; Klaus Weihrauch (CCA, 2006)

Computable Riesz representation for the dual of C [0; 1]. - Hong Lu 011; Klaus Weihrauch (Math. Log. Q., 2007)

Computable Riesz Representation for Locally Compact Hausdorff Spaces. - Hong Lu 011; Klaus Weihrauch (J. Univers. Comput. Sci., 2008)