@inproceedings{Panangaden:2013:DLC:2591370.2591423,
    Address = {Washington, DC, USA},
    Author = {Panangaden, Prakash},
    BookTitle = {Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science},
    File = {Duality in Logic and Computation - Panangaden (0) (0) - a - a - s.pdf},
    ISBN = {978-0-7695-5020-6},
    Keywords = {Stone duality, category theory, completeness, semantics, done},
    Pages = {4--11},
    Publisher = {IEEE Computer Society},
    Series = {LICS '13},
    Title = {Duality in Logic and Computation},
    URL = {http://dx.doi.org/10.1109/LICS.2013.64},
    Year = {2013},
    acmid = {2591423},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2013.64},
    date-added = {2016-12-26 15:34:01 +0000},
    date-modified = {2017-01-03 09:38:06 +0000},
    numpages = {8},
    doi = {10.1109/LICS.2013.64}
}

@inproceedings{Panangaden:2013:DLC:2591370.2591423, Address = {Washington, DC, USA}, Author = {Panangaden, Prakash}, BookTitle = {Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science}, File = {Duality in Logic and Computation - Panangaden (0) (0) - a - a - s.pdf}, ISBN = {978-0-7695-5020-6}, Keywords = {Stone duality, category theory, completeness, semantics, done}, Pages = {4--11}, Publisher = {IEEE Computer Society}, Series = {LICS '13}, Title = {Duality in Logic and Computation}, URL = {http://dx.doi.org/10.1109/LICS.2013.64}, Year = {2013}, acmid = {2591423}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2013.64}, date-added = {2016-12-26 15:34:01 +0000}, date-modified = {2017-01-03 09:38:06 +0000}, numpages = {8}, doi = {10.1109/LICS.2013.64} }