Real-valued computations: a perspective via topology and model theory.

Date: