Cohomology in Constraint Satisfaction and Structure Isomorphism. - Adam Ó Conghaile (MFCS, 2022)

Game Comonads & Generalised Quantifiers. - Adam Ó Conghaile; Anuj Dawar (Log. Methods Comput. Sci., 2024)