Continuity and geometric logic

Steven Vickers. Continuity and geometric logic. J. Applied Logic, 12(1):14-27, 2014. [doi]

Abstract

Abstract is missing.