S. Abramsky, Domain theory in logical form, Ann. Pure Appl. Logic, vol.51, pp.1-77, 1991.

S. Abramsky, A. Dawar, and P. Wang, The pebbling comonad in finite model theory, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, pp.1-12, 2017.

S. Abramsky and N. Shah, Relating Structure and Power: Comonadic semantics for computational resources, 27th EACSL Annual Conference on Computer Science Logic, vol.2, pp.1-2, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02044639

H. M. Friedman, Addendum to On the logic of measure and category I (1979)

M. Gehrke, S. Grigorieff, and J. É. Pin, Duality and equational theory of regular languages, Automata, languages and programming II, vol.5126, pp.246-257, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340803

M. Gehrke, D. Petri?an, and L. Reggio, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, pp.1-12, 2017.

M. Gehrke, D. Petri?an, and L. Reggio, Quantifiers on languages and codensity monads, 2019.

M. Gehrke and H. A. Priestley, Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations, J. Pure Appl. Algebra, vol.209, issue.1, pp.269-290, 2007.

M. Gehrke and H. A. Priestley, Duality for double quasioperator algebras via their canonical extensions, Studia Logica, vol.86, issue.1, pp.31-68, 2007.

R. Goldblatt, Varieties of complex algebras, Ann. Pure Appl. Logic, vol.44, issue.3, pp.173-242, 1989.

S. J. Gool and B. Steinberg, Pro-aperiodic monoids via saturated models, 34th Symposium on Theoretical Aspects of Computer Science, vol.39, p.14, 2017.

P. T. Johnstone, Stone spaces, Cambridge Studies in Advanced Mathematics, vol.3, 1986.

A. Jung, Continuous domain theory in logical form, Computation, Logic, Games, and Quantum Foundations, vol.7860, pp.166-177, 2013.

H. J. Keisler, Hyperfinite model theory, vol.87, pp.5-110, 1976.

P. G. Kolaitis, R. Pichler, E. Sallinger, and V. Savenkov, Limits of schema mappings, Theory of Computing Systems, vol.62, issue.4, pp.899-940, 2018.

O. Matz and N. Schweikardt, Expressive power of monadic logics on words, trees, pictures, and graphs, pp.531-552, 2008.

J. Ne?et?il and P. Ossona-de-mendez, A unified approach to structural limits and limits of graphs with bounded tree-depth

J. Ne?et?il and P. Ossona-de-mendez, First-order limits, an analytical perspective, European Journal of Combinatorics, vol.52, pp.368-388, 2016.

J. Ne?etril and P. O. De-mendez, A model theory approach to structural limits. Commentationes Mathematicae Universitatis Carolinae, vol.53, pp.581-603, 2012.

J. E. Pin, Proceedings of the 26th Annual Symposium on the Theoretical Aspects of Computer Science, pp.31-50, 2009.

H. A. Priestley, Representation of distributive lattices by means of ordered stone spaces, Bull. London Math. Soc, vol.2, pp.186-190, 1970.

C. Steinhorn, L. Harrington, M. Morley, and A. S?êdrov, Borel structures for first-order and extended logics, Harvey Friedman's Research on the Foundations of Mathematics, Studies in Logic and the Foundations of Mathematics, vol.117, pp.161-178, 1985.