by Murdoch Gabbay, Tadeusz Litak and Daniela Petrişan
Reference:
Murdoch Gabbay, Tadeusz Litak and Daniela Petrişan: Stone duality for nominal Boolean algebras with 'new', Chapter in Andrea Corradini, Bartek Klin, Corina Cîrstea, eds.: Algebra and Coalgebra in Computer Science, Lecture Notes in Computer Science, vol. 6859, pp. 192–207, Springer Berlin Heidelberg, 2011.
Bibtex Entry:
@incollection{GabbayLP11:calco,
title={Stone duality for nominal {B}oolean algebras with 'new'},
author={Gabbay, Murdoch and Litak, Tadeusz and Petri\c{s}an, Daniela},
booktitle={Algebra and Coalgebra in Computer Science},
pages={192--207},
year={2011},
isbn={978-3-642-22943-5},
keywords={conf},
volume={6859},
series={Lecture Notes in Computer Science},
editor={Corradini, Andrea and Klin, Bartek and C\^{i}rstea, Corina},
publisher={Springer Berlin Heidelberg},
doi={10.1007/978-3-642-22944-2_14},
comment={}
}