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?


$\Omega = (\lambda x. x x) (\lambda x. x x)$


Models and theories of lambda calculus

Computable topology

  • $\begingroup$ @AndrejBauer thank you for your suggestion. To clarify, by "open property" you mean something for which we don't have an answer? $\endgroup$ – Rodrigo Nov 13 '19 at 12:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.