Bob Flagg

Publication Activity (10 Years)

Years Active: 1989-1999
Publications (10 Years): 0

Publications

Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman
Characterizing Topologies With Bounded Complete Computational Models. MFPS (1999)
Martín Hötzel Escardó, Bob Flagg
Semantic Domains, Injective Spaces and Monads. MFPS (1999)
Bob Flagg, Ralph Kopperman
Computational models for ultrametric spaces. MFPS (1997)
Bob Flagg, Ralph Kopperman
Continuity Spaces: Reconciling Domains and Metric Spaces. Theor. Comput. Sci. 177 (1) (1997)
Bob Flagg, Ralph Kopperman
Fixed points and reflexive domain equations in categories of continuity spaces. MFPS (1995)
Ralph Kopperman, Bob Flagg
The Asymmetric Topology of Computer Science. MFPS (1993)
John R. Myhill, Bob Flagg
A Type-Free System Extending (ZFC). Ann. Pure Appl. Log. 43 (1) (1989)