Continuous lattices and their applications. (2020)