Bob Flagg

According to our database, Bob Flagg authored at least 7 papers between 1989 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1999

Semantic Domains, Injective Spaces and Monads.

Martín Hötzel Escardó, Bob Flagg

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Characterizing Topologies With Bounded Complete Computational Models.

Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

1997

Continuity Spaces: Reconciling Domains and Metric Spaces.

Bob Flagg, Ralph Kopperman

Theor. Comput. Sci., 1997

Computational models for ultrametric spaces.

Bob Flagg, Ralph Kopperman

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

1995

Fixed points and reflexive domain equations in categories of continuity spaces.

Bob Flagg, Ralph Kopperman

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1993

The Asymmetric Topology of Computer Science.

Ralph Kopperman, Bob Flagg

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1989

A Type-Free System Extending (ZFC).

John R. Myhill, Bob Flagg

Ann. Pure Appl. Log., 1989