Similar Items: A duality theoretic view on limits of finite structures: Extended version
- Extended Stone Duality via Monoidal Adjunctions
- A Finite-Model-Theoretic View on Propositional Proof Complexity
- From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- Categorical composable cryptography: extended version
- Hilbert's Tenth Problem in Coq (Extended Version)