TY - RPRT TI - Algebraic representation of continuous lattices via the open filter monad, revisited AU - Wei Yao AU - Yueli Yue PY - 2019 UR - https://arxiv.org/abs/1912.11988 ID - 1912.11988 ER -