I wonder if there have been efforts to reconcile the measure approach to termination and Scott's domain theory or other topological models of computation. In other words, can we translate this measure that one use in automation of program termination to metric or measures in a topological interpretation of a programming language?
Examples:
$\Omega = (\lambda x. x x) (\lambda x. x x)$
References: