{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:15Z","timestamp":1750306335340,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T00:00:00Z","timestamp":1467676800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["670624"],"award-info":[{"award-number":["670624"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,5]]},"DOI":"10.1145\/2933575.2934575","type":"proceedings-article","created":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T13:34:47Z","timestamp":1476452087000},"page":"12-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Duality in Computer Science"],"prefix":"10.1145","author":[{"given":"Mai","family":"Gehrke","sequence":"first","affiliation":[{"name":"Institut de Recherche en Informatique Fondamentale, CNRS and Universit\u00e9 Paris-Diderot"}]}],"member":"320","published-online":{"date-parts":[[2016,7,5]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90065-T"},{"key":"e_1_3_2_1_3_1","volume-title":"We Will Show Them: Essays in honour of Dov Gabbay 1, 1--18","author":"Abramsky S.","year":"2005","unstructured":"S. Abramsky . A Cook's Tour of the Finitary Non-Well-Founded Sets. 1988 lecture reprinted in Artemov et al. (eds.) , We Will Show Them: Essays in honour of Dov Gabbay 1, 1--18 ( 2005 ). S. Abramsky. A Cook's Tour of the Finitary Non-Well-Founded Sets. 1988 lecture reprinted in Artemov et al. (eds.), We Will Show Them: Essays in honour of Dov Gabbay 1, 1--18 (2005)."},{"key":"e_1_3_2_1_4_1","volume-title":"Handbook of Logic in Computer Science 3, OUP, 1--168","author":"Abramsky S.","year":"1994","unstructured":"S. Abramsky and A. Jung . Domain theory. Abramsky et al. (eds.) , Handbook of Logic in Computer Science 3, OUP, 1--168 ( 1994 ). S. Abramsky and A. Jung. Domain theory. Abramsky et al. (eds.), Handbook of Logic in Computer Science 3, OUP, 1--168 (1994)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.46"},{"key":"e_1_3_2_1_6_1","volume-title":"Finite Semigroups and Universal Algebra. World Scientific","author":"Almeida J.","year":"1994","unstructured":"J. Almeida . Finite Semigroups and Universal Algebra. World Scientific ( 1994 ). J. Almeida. Finite Semigroups and Universal Algebra. World Scientific (1994)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90007-5"},{"key":"e_1_3_2_1_8_1","volume-title":"Treillis locaux et paratopologies. S\u00e9m. Ehresmann, yr. 1 (2)","author":"B\u00e9nabou J.","year":"1958","unstructured":"J. B\u00e9nabou . Treillis locaux et paratopologies. S\u00e9m. Ehresmann, yr. 1 (2) ( 1958 ). J. B\u00e9nabou. Treillis locaux et paratopologies. S\u00e9m. Ehresmann, yr. 1 (2) (1958)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"N. Bezhanishvili and M. Gehrke. Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Logical Methods in Computer Science 7 (2) (2011).  N. Bezhanishvili and M. Gehrke. Finitely generated free Heyting algebras via Birkhoff duality and coalgebra. Logical Methods in Computer Science 7 (2) (2011).","DOI":"10.2168\/LMCS-7(2:9)2011"},{"key":"e_1_3_2_1_10_1","first-page":"2527","volume":"367","year":"2015","unstructured":"M. Bodirsky and M. Pinsker. Topological Birkhoff. Trans. Amer. Math. Soc. 367 , 2527 -- 2549 ( 2015 ). M. Bodirsky and M. Pinsker. Topological Birkhoff. Trans. Amer. Math. Soc. 367, 2527--2549 (2015).","journal-title":"M. Bodirsky and M. Pinsker. Topological Birkhoff. Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_11_1","volume-title":"Recognisable languages over monads","author":"Boja\u0144czyk M.","year":"2015","unstructured":"M. Boja\u0144czyk . Recognisable languages over monads . Potapov (ed.), Developments in Language Theory 2015 , LNCS 9168, 1--13 (2015). M. Boja\u0144czyk. Recognisable languages over monads. Potapov (ed.), Developments in Language Theory 2015, LNCS 9168, 1--13 (2015)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2490818"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11690634_12"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02930-1_10"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume":"210","author":"Bruns G.","year":"1962","unstructured":"G. Bruns . Darstellungen und Erweiterungen geordneter Mengen II. J. Reine Angew. Math. 210 , 1 -- 23 ( 1962 ). G. Bruns. Darstellungen und Erweiterungen geordneter Mengen II. J. Reine Angew. Math. 210, 1--23 (1962).","journal-title":"Mengen II. J. Reine Angew. Math."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxp004"},{"key":"e_1_3_2_1_17_1","first-page":"9618","volume":"2016","author":"Czarnetzki S.","year":"2016","unstructured":"S. Czarnetzki and A. Krebs . Using Duality in Circuit Complexity. Language and Automata Theory and Applications 2016 , LNCS 9618 , 283--294 ( 2016 ). S. Czarnetzki and A. Krebs. Using Duality in Circuit Complexity. Language and Automata Theory and Applications 2016, LNCS 9618, 283--294 (2016).","journal-title":"Using Duality in Circuit Complexity. Language and Automata Theory and Applications"},{"key":"e_1_3_2_1_18_1","volume-title":"Pin. Varieties of Cost Functions. STACS 2016","author":"Daviaud L.","year":"2016","unstructured":"L. Daviaud , D. Kuperberg , and J.-\u00c9. Pin. Varieties of Cost Functions. STACS 2016 , 30: 1--30:14 ( 2016 ). L. Daviaud, D. Kuperberg, and J.-\u00c9. Pin. Varieties of Cost Functions. STACS 2016, 30:1--30:14 (2016)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_20_1","volume-title":"Automata, languages, and machines B","author":"Eilenberg S.","year":"1976","unstructured":"S. Eilenberg . Automata, languages, and machines B . Academic Press ( 1976 ). S. Eilenberg. Automata, languages, and machines B. Academic Press (1976)."},{"key":"e_1_3_2_1_21_1","first-page":"298","volume":"214","author":"Esakia L. L.","year":"1974","unstructured":"L. L. Esakia . Topological Kripke models. Dokl. Akad. Nauk SSSR 214 , 298 -- 301 ( 1974 ). L. L. Esakia. Topological Kripke models. Dokl. Akad. Nauk SSSR 214, 298--301 (1974).","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01744431"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2015.12.007"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_21"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1880999.1881016"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.08.007"},{"key":"e_1_3_2_1_27_1","volume-title":"The Sch\u00fctzenberger product for Syntactic Spaces. To appear (accepted in ICALP","author":"Gehrke M.","year":"2016","unstructured":"M. Gehrke , D. Petri\u015fan , and L. Reggio . The Sch\u00fctzenberger product for Syntactic Spaces. To appear (accepted in ICALP 2016 ). M. Gehrke, D. Petri\u015fan, and L. Reggio. The Sch\u00fctzenberger product for Syntactic Spaces. To appear (accepted in ICALP 2016)."},{"key":"e_1_3_2_1_28_1","unstructured":"M. Gehrke and M. Pinsker. Uniform Birkhoff. Preprint. See http:\/\/dmg.tuwien.ac.at\/pinsker\/.  M. Gehrke and M. Pinsker. Uniform Birkhoff. Preprint. See http:\/\/dmg.tuwien.ac.at\/pinsker\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90032-8"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings Bremen 1979","author":"Hofmann K.H.","year":"1981","unstructured":"K.H. Hofmann and M. Mislove . Local compactness and continuous lattices. Banaschewski et al. (eds.), Continuous Lattices , Proceedings Bremen 1979 , Lecturer Notes in Mathematics 871, 209--248 ( 1981 ). K.H. Hofmann and M. Mislove. Local compactness and continuous lattices. Banaschewski et al. (eds.), Continuous Lattices, Proceedings Bremen 1979, Lecturer Notes in Mathematics 871, 209--248 (1981)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"N. Immerman. Descriptive and Computational Complexity. Springer (1998).  N. Immerman. Descriptive and Computational Complexity. Springer (1998).","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"e_1_3_2_1_32_1","first-page":"5","volume":"31","year":"1972","unstructured":"J.R. Isbell. Atomless Parts of Spaces. Math. Scand. 31 , 5 -- 32 ( 1972 ). J.R. Isbell. Atomless Parts of Spaces. Math. Scand. 31, 5--32 (1972).","journal-title":"J.R. Isbell. Atomless Parts of Spaces. Math. Scand."},{"key":"e_1_3_2_1_33_1","volume-title":"Stone spaces","author":"Johnstone P. T.","year":"1982","unstructured":"P. T. Johnstone . Stone spaces . Cambridge Studies in Advanced Mathematics 3. Cambridge University Press ( 1982 ). P. T. Johnstone. Stone spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press (1982)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"e_1_3_2_1_35_1","first-page":"166","volume":"7860","author":"Jung A.","year":"2013","unstructured":"A. Jung . Continuous domain theory in logical form. Computation , Logic, Games, and Quantum Foundations . The Many Facets of Samson Abramsky , LNCS 7860 166 -- 177 ( 2013 ). A. Jung. Continuous domain theory in logical form. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, LNCS 7860 166--177 (2013).","journal-title":"LNCS"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.38"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.2307\/2964568"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.24"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31585-5_27"},{"key":"e_1_3_2_1_41_1","first-page":"14","volume":"8","author":"Kurz A.","year":"2012","unstructured":"A. Kurz , J. Rosicky . Strongly complete logics for coalgebras. Logical Meth. Comp. Sci. 8 , 3: 14 ( 2012 ). A. Kurz, J. Rosicky. Strongly complete logics for coalgebras. Logical Meth. Comp. Sci. 8, 3:14 (2012).","journal-title":"Logical Meth. Comp. Sci."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90068-D"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129510000319"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1137\/080741811"},{"key":"e_1_3_2_1_45_1","volume-title":"Sur les treillis des ouverts et paratopologies. S\u00e9minaire Ehresmann, yr. 1 (1)","author":"Papert D.","year":"1958","unstructured":"D. Papert and S. Papert . Sur les treillis des ouverts et paratopologies. S\u00e9minaire Ehresmann, yr. 1 (1) ( 1958 ). D. Papert and S. Papert. Sur les treillis des ouverts et paratopologies. S\u00e9minaire Ehresmann, yr. 1 (1) (1958)."},{"key":"e_1_3_2_1_46_1","first-page":"80","volume":"39","author":"A","year":"1995","unstructured":"J.-\u00c9. Pin. A variety theorem without complementation. Russian Mathematics 39 , 80 -- 90 ( 1995 ). J.-\u00c9. Pin. A variety theorem without complementation. Russian Mathematics 39, 80--90 (1995).","journal-title":"Russian Mathematics"},{"issue":"2","key":"e_1_3_2_1_47_1","first-page":"121","volume":"30","year":"1997","unstructured":"N. Pippenger. Regular Languages and Stone Duality. Theory Comput. Syst. 30 ( 2 ), 121 -- 134 ( 1997 ). N. Pippenger. Regular Languages and Stone Duality. Theory Comput. Syst. 30 (2), 121--134 (1997).","journal-title":"N. Pippenger. Regular Languages and Stone Duality. Theory Comput. Syst."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1137\/0205035"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/647448.727239"},{"volume-title":"Post-graduate lecture notes in advanced domain theory (incorporating the Pisa Notes). Dept. of Computer Science","author":"Plotkin G.D.","key":"e_1_3_2_1_50_1","unstructured":"G.D. Plotkin . Post-graduate lecture notes in advanced domain theory (incorporating the Pisa Notes). Dept. of Computer Science , University of Edinburgh (1981) . G.D. Plotkin. Post-graduate lecture notes in advanced domain theory (incorporating the Pisa Notes). Dept. of Computer Science, University of Edinburgh (1981)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/2.2.186"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02483902"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","DOI":"10.1007\/b104443","volume-title":"The q-theory of Finite Semigroups","author":"Rhodes J.","year":"2009","unstructured":"J. Rhodes and B. Steinberg . The q-theory of Finite Semigroups . Springer ( 2009 ). J. Rhodes and B. Steinberg. The q-theory of Finite Semigroups. Springer (2009)."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90108-7"},{"key":"e_1_3_2_1_55_1","series-title":"Lecture Notes in Mathematics 274","volume-title":"toposes, algebraic geometry and logic","author":"Scott D.S.","year":"1971","unstructured":"D.S. Scott . Continuous lattices , toposes, algebraic geometry and logic . Lawvere (ed.), Proc. 1971 Dalhousie Conference , Lecture Notes in Mathematics 274 , 97--136 (1972). D.S. Scott. Continuous lattices, toposes, algebraic geometry and logic. Lawvere (ed.), Proc. 1971 Dalhousie Conference, Lecture Notes in Mathematics 274, 97--136 (1972)."},{"key":"e_1_3_2_1_56_1","volume-title":"a topological view","author":"Smyth M.B.","year":"1983","unstructured":"M.B. Smyth . Powerdomains and predicate transformers : a topological view . J. Diaz (ed.) ICALP 1983, LNCS 154, 662--675 ( 1983 ). M.B. Smyth. Powerdomains and predicate transformers: a topological view. J. Diaz (ed.) ICALP 1983, LNCS 154, 662--675 (1983)."},{"issue":"4","key":"e_1_3_2_1_57_1","first-page":"761","volume":"11","author":"Smyth M.B.","year":"1982","unstructured":"M.B. Smyth and G.D. Plotkin . The category-theoretic solution of recursive domain equations. SIAM J. Comput. 11 ( 4 ), 761 -- 783 ( 1982 ). M.B. Smyth and G.D. Plotkin. The category-theoretic solution of recursive domain equations. SIAM J. Comput. 11 (4), 761--783 (1982).","journal-title":"The category-theoretic solution of recursive domain equations. SIAM J. Comput."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0004972700044415"},{"issue":"1","key":"e_1_3_2_1_59_1","first-page":"37","volume":"40","author":"Stone M. H.","year":"1936","unstructured":"M. H. Stone . The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 40 ( 1 ), 37 -- 111 ( 1936 ). M. H. Stone. The theory of representations for Boolean algebras. Trans. Amer. Math. Soc. 40 (1), 37--111 (1936).","journal-title":"Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_60_1","first-page":"1","volume":"67","author":"Stone M. H.","year":"1937","unstructured":"M. H. Stone . Topological representations of distributive lattices and Browerian logics. Casopis pest. Mat. 67 , 1 -- 25 ( 1937 ). M. H. Stone. Topological representations of distributive lattices and Browerian logics. Casopis pest. Mat. 67, 1--25 (1937).","journal-title":"Mat."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90036-0"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196791000043"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0289-9","volume-title":"Finite Automata, Formal Logic and Circuit Complexity","author":"Straubing H.","year":"1994","unstructured":"H. Straubing . Finite Automata, Formal Logic and Circuit Complexity . Birkhauser ( 1994 ). H. Straubing. Finite Automata, Formal Logic and Circuit Complexity. Birkhauser (1994)."},{"key":"e_1_3_2_1_64_1","volume-title":"On Logical Descriptions of Regular Languages","author":"Straubing H.","year":"2002","unstructured":"H. Straubing . On Logical Descriptions of Regular Languages . Rajsbaum (ed.), LATIN 2002 , LNCS 2286, 528--538 (2002). H. Straubing. On Logical Descriptions of Regular Languages. Rajsbaum (ed.), LATIN 2002, LNCS 2286, 528--538 (2002)."},{"key":"e_1_3_2_1_65_1","volume-title":"Logic meets algebra: the case of regular languages. Logical Methods in Comp. Sci. 3 (1: 4), 1--37","author":"Tesson P.","year":"2007","unstructured":"P. Tesson and D. Th\u00e9rien . Logic meets algebra: the case of regular languages. Logical Methods in Comp. Sci. 3 (1: 4), 1--37 ( 2007 ). P. Tesson and D. Th\u00e9rien. Logic meets algebra: the case of regular languages. Logical Methods in Comp. Sci. 3 (1:4), 1--37 (2007)."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-62-02968-X"},{"key":"e_1_3_2_1_67_1","volume-title":"Modal Logic and the Vietoris Functor","author":"Venema Y.","year":"2014","unstructured":"Y. Venema and J. Vosmaer . Modal Logic and the Vietoris Functor . Bezhanishvili (ed.), Leo Esakia on Duality in Modal and Intuitionistic Logics. Outstanding Contributions to Logic 4, 119--153 ( 2014 ). Y. Venema and J. Vosmaer. Modal Logic and the Vietoris Functor. Bezhanishvili (ed.), Leo Esakia on Duality in Modal and Intuitionistic Logics. Outstanding Contributions to Logic 4, 119--153 (2014)."},{"key":"e_1_3_2_1_68_1","volume-title":"Theory and Formal Methods","author":"Vickers S.","year":"1993","unstructured":"S. Vickers . Geometric logic in computer science. Burns et al. (eds.), Theory and Formal Methods . Springer 1993 . S. Vickers. Geometric logic in computer science. Burns et al. (eds.), Theory and Formal Methods. Springer 1993."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01696886"}],"event":{"name":"LICS '16: 31st Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"New York NY USA","acronym":"LICS '16"},"container-title":["Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2934575","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2933575.2934575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:53Z","timestamp":1750222493000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2933575.2934575"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,5]]},"references-count":67,"alternative-id":["10.1145\/2933575.2934575","10.1145\/2933575"],"URL":"https:\/\/doi.org\/10.1145\/2933575.2934575","relation":{},"subject":[],"published":{"date-parts":[[2016,7,5]]},"assertion":[{"value":"2016-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}