Interpolation functor and computability. - Atsushi Yoshikawa 001 (Theor. Comput. Sci., 2002)

Computable Versions of Basic Theorems in Functional Analysis. - Atsushi Yoshikawa 001; Mariko Yasugi (CCA, 2005)

Towards computability of elliptic boundary value problems in variational formulation. - Vasco Brattka; Atsushi Yoshikawa 001 (J. Complex., 2006)