Monthly Archives: September 2023

Scott’s formula

Posted on September 20, 2023 by jgl

There is a well-known formula in domain theory, which, given a monotonic map f from a basis B of a continuous poset X to a dcpo Y, produces the largest continuous map f’ defined on the whole of X and … Continue reading →

Posted in Uncategorized | Comments Off on Scott’s formula