A Hofmann-Mislove theorem for bitopological spaces (2007)

by A Jung, M A Moshier
Venue:23rd Conference on Mathematical Foundations of Programming Semantics, volume 173 of Electronic Notes in Theoretical Computer Science