The localic compact interval is an Escardó-Simpson interval object

Steven Vickers. The localic compact interval is an Escardó-Simpson interval object. Math. Log. Q., 63(6):614-629, 2017. [doi]

Abstract

Abstract is missing.