Factorisation Systems on Domains. - Mathias Kegelmann (Appl. Categorical Struct., 1999)

Multi Lingual Sequent Calculus and Coherent Spaces. - Achim Jung; Mathias Kegelmann; M. Andrew Moshier (Fundam. Informaticae, 1999)

Stably Compact Spaces and Closed Relations. - Achim Jung; Mathias Kegelmann; M. Andrew Moshier (MFPS, 2001)

Continuous Domains in Logical Form. - Mathias Kegelmann (Elsevier, 2002)