A Type-Free System Extending (ZFC). - John R. Myhill; Bob Flagg (Ann. Pure Appl. Log., 1989)

The Asymmetric Topology of Computer Science. - Ralph Kopperman; Bob Flagg (MFPS, 1993)

Fixed points and reflexive domain equations in categories of continuity spaces. - Bob Flagg; Ralph Kopperman (MFPS, 1995)

Computational models for ultrametric spaces. - Bob Flagg; Ralph Kopperman (MFPS, 1997)

Continuity Spaces: Reconciling Domains and Metric Spaces. - Bob Flagg; Ralph Kopperman (Theor. Comput. Sci., 1997)

Characterizing Topologies With Bounded Complete Computational Models. - Krzysztof Ciesielski; Bob Flagg; Ralph Kopperman (MFPS, 1999)

Semantic Domains, Injective Spaces and Monads. - Martín Hötzel Escardó; Bob Flagg (MFPS, 1999)