Stone Duality for Nominal Boolean Algebras with И.

Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan

Browse the full CALCO paper archive.