Strictly Zero-Dimensional Biframes and a Characterisation of Congruence Frames. - Graham Manuell (Appl. Categorical Struct., 2018)

A simple lower bound for ARRIVAL. - Graham Manuell (CoRR, 2021)

Machine Space I: Weak exponentials and quantification over compact spaces. - Peter F. Faul; Graham Manuell (CoRR, 2022)

Presenting Quotient Locales. - Graham Manuell (Appl. Categorical Struct., 2023)

Correction: Presenting Quotient Locales. - Graham Manuell (Appl. Categorical Struct., 2023)

Lawvere's Frobenius Reciprocity, the Modular Connections of Grandis and Dilworth's Abstract Principal Ideals. - Amartya Goswami; Zurab Janelidze; Graham Manuell (Appl. Categorical Struct., 2025)