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