Authors: Edalat, A Escardo, MH

Citation: A. Edalat et Mh. Escardo, Integration in real PCF, INF COMPUT, 160(1-2), 2000, pp. 128-166

Authors: Alvarez-Manilla, M Edalat, A Saheb-Djahromi, N

Citation: M. Alvarez-manilla et al., An extension result for continuous valuations, J LOND MATH, 61, 2000, pp. 629-640

Authors: Edalat, A Potts, PJ Sunderhauf, P

Citation: A. Edalat et al., Lazy computation with exact real numbers, ACM SIGPL N, 34(1), 1999, pp. 185-194

Authors: Edalat, A Sunderhauf, P

Citation: A. Edalat et P. Sunderhauf, Computable Banach spaces via domain theory, THEOR COMP, 219(1-2), 1999, pp. 169-184