Domain theory in logical form, Ann. Pure Appl. Logic, vol.51, pp.1-77, 1991. ,
The pebbling comonad in finite model theory, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, pp.1-12, 2017. ,
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
Addendum to On the logic of measure and category I (1979) ,
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
, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, pp.1-12, 2017.
, Quantifiers on languages and codensity monads, 2019.
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. ,
Duality for double quasioperator algebras via their canonical extensions, Studia Logica, vol.86, issue.1, pp.31-68, 2007. ,
Varieties of complex algebras, Ann. Pure Appl. Logic, vol.44, issue.3, pp.173-242, 1989. ,
Pro-aperiodic monoids via saturated models, 34th Symposium on Theoretical Aspects of Computer Science, vol.39, p.14, 2017. ,
Stone spaces, Cambridge Studies in Advanced Mathematics, vol.3, 1986. ,
Continuous domain theory in logical form, Computation, Logic, Games, and Quantum Foundations, vol.7860, pp.166-177, 2013. ,
, Hyperfinite model theory, vol.87, pp.5-110, 1976.
Limits of schema mappings, Theory of Computing Systems, vol.62, issue.4, pp.899-940, 2018. ,
Expressive power of monadic logics on words, trees, pictures, and graphs, pp.531-552, 2008. ,
A unified approach to structural limits and limits of graphs with bounded tree-depth ,
First-order limits, an analytical perspective, European Journal of Combinatorics, vol.52, pp.368-388, 2016. ,
, A model theory approach to structural limits. Commentationes Mathematicae Universitatis Carolinae, vol.53, pp.581-603, 2012.
, Proceedings of the 26th Annual Symposium on the Theoretical Aspects of Computer Science, pp.31-50, 2009.
Representation of distributive lattices by means of ordered stone spaces, Bull. London Math. Soc, vol.2, pp.186-190, 1970. ,
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. ,