1999 | ||
---|---|---|
7 | EE | Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman: Characterizing Topologies With Bounded Complete Computational Models. Electr. Notes Theor. Comput. Sci. 20: (1999) |
6 | EE | Martín Hötzel Escardó, Bob Flagg: Semantic Domains, Injective Spaces and Monads. Electr. Notes Theor. Comput. Sci. 20: (1999) |
1997 | ||
5 | EE | Bob Flagg, Ralph Kopperman: Computational models for ultrametric spaces. Electr. Notes Theor. Comput. Sci. 6: (1997) |
4 | EE | Bob Flagg, Ralph Kopperman: Continuity Spaces: Reconciling Domains and Metric Spaces. Theor. Comput. Sci. 177(1): 111-138 (1997) |
1995 | ||
3 | EE | Bob Flagg, Ralph Kopperman: Fixed points and reflexive domain equations in categories of continuity spaces. Electr. Notes Theor. Comput. Sci. 1: (1995) |
1993 | ||
2 | Ralph Kopperman, Bob Flagg: The Asymmetric Topology of Computer Science. MFPS 1993: 544-553 | |
1989 | ||
1 | John R. Myhill, Bob Flagg: A Type-Free System Extending (ZFC). Ann. Pure Appl. Logic 43(1): 79-97 (1989) |
1 | Krzysztof Ciesielski | [7] |
2 | Martín Hötzel Escardó | [6] |
3 | Ralph Kopperman | [2] [3] [4] [5] [7] |
4 | John R. Myhill | [1] |