@article(Barwise,
 author       = "J. Barwise",
 year         = "1992",
 title        = "Information links in domain theory",
 journal      = "Lect. Notes Theor. Comput. Sci.",
 volume       = "598",
 pages        = "168--192",
 doi          = "10.1007/3-540-55511-0_8",
)
@book(bookC,
 author       = "J. Barwise and J. Seligman",
 year         = "1997",
 title        = "Information Flow: The Logic of Distributed Systems",
 series       = "Cambridge Tracts in Theor. Comput. Sci.",
 volume       = "44",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511895968",
)
@article(DBLP:journals/entcs/BasaldellaST10,
 author       = "M. Basaldella and A. Saurin and K. Terui",
 year         = "2010",
 title        = "From Focalization of Logic to the Logic of Focalization",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "265",
 pages        = "161--176",
 doi          = "10.1016/j.entcs.2010.08.010",
)
@article(DBLP:journals/corr/abs-cs-0501039,
 author       = "P.-L. Curien",
 year         = "2006",
 title        = "Introduction to linear logic and ludics, part II",
 journal      = "Advances in Mathematics (China)",
 volume       = "35(1)",
 pages        = "1--44",
 doi          = "10.11845/sxjz.2006.35.01.0001",
)
@inproceedings(closures,
 author       = "M. Ern\'e",
 year         = "2009",
 title        = "Closure",
 booktitle    = "Beyond Topology",
 series       = "Contemporary Mathematics Volume 486",
 publisher    = "AMS",
 pages        = "163--238",
 doi          = "10.1090/conm/486/09510",
)
@article(AAL,
 author       = "J.M. Font and R. Jansana and D. Pigozzi",
 year         = "2003",
 title        = "A Survey of Abstract Algebraic Logic",
 journal      = "Studia Logica",
 volume       = "74",
 number       = "1-2",
 pages        = "13--97",
 doi          = "10.1023/A:1024621922509",
)
@book(bookB,
 author       = "B. Ganter and R. Wille",
 year         = "1997",
 title        = "Formal Concept Analysis: Mathematical Foundations",
 publisher    = "Springer-Verlag",
)
@article(DBLP:journals/mscs/Girard01,
 author       = "J.-Y. Girard",
 year         = "2001",
 title        = "Locus Solum: From the rules of logic to the logic of rules",
 journal      = "Math. Struct. Comput. Sci.",
 volume       = "11",
 number       = "3",
 pages        = "301--506",
 doi          = "10.1017/S096012950100336X",
)
@inproceedings(DBLP:conf/lics/LafontS91,
 author       = "Y. Lafont and T. Streicher",
 year         = "1991",
 title        = "Games semantics for linear logic",
 booktitle    = "Proceedings of LICS 1991",
 publisher    = "IEEE",
 pages        = "43--50",
 doi          = "10.1109/LICS.1991.151629",
)
@article(DBLP:journals/tcs/Paolini08,
 author       = "L. Paolini",
 year         = "2008",
 title        = "Parametric $\lambda $--theories",
 journal      = "Theor. Comput. Sci.",
 volume       = "398",
 number       = "1-3",
 pages        = "51--62",
 doi          = "10.1016/j.tcs.2008.01.021",
)
@inproceedings(DBLP:conf/lics/Pratt95,
 author       = "V. R. Pratt",
 year         = "1995",
 title        = "The Stone gamut: a coordinatization of mathematics",
 booktitle    = "Proceedings of LICS 1995",
 publisher    = "IEEE",
 pages        = "444--454",
 doi          = "10.1109/LICS.1995.523278",
)
@article(Scott,
 author       = "D.S. Scott",
 year         = "1982",
 title        = "Domains for denotational semantics",
 journal      = "Lect. Notes Theor. Comput. Sci.",
 volume       = "140",
 pages        = "577--610",
 doi          = "10.1007/BFb0012801",
)
@article(DBLP:journals/tcs/Terui11,
 author       = "K. Terui",
 year         = "2011",
 title        = "Computational ludics",
 journal      = "Theor. Comput. Sci.",
 volume       = "412",
 number       = "20",
 pages        = "2048--2071",
 doi          = "10.1016/j.tcs.2010.12.026",
)
@inproceedings(DBLP:conf/popl/VouillonM04,
 author       = "J. Vouillon and P.-A. Melli{\`e}s",
 year         = "2004",
 title        = "Semantic types: a fresh look at the ideal model for types",
 booktitle    = "Proceedings of POPL 2004",
 publisher    = "ACM",
 pages        = "52--63",
 doi          = "10.1145/964001.964006",
)
@article(Zhang,
 author       = "G.-Q. Zhang",
 year         = "2003",
 title        = "Chu Spaces, Concept Lattices, and Domains",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "83",
 pages        = "287--302",
 doi          = "10.1016/S1571-0661(03)50016-0",
)