www.cosc.brocku.ca A discrete duality between apartness algebras and apartness frames (2008)

by Ivo Düntsch , Ewa Orlowska , Ivo Düntsch , Ewa Orłowska