Documents Related by Co-Citation

461 Domain Theory – Samson Abramsky, Achim Jung - 1994
26 The Measurement Process in Domain Theory – Keye Martin - 2000
191 Outline of a mathematical theory of computation – D S Scott - 1970
8 Characterizing topologies with bounded complete computational models – K Ciesielski, R C Flagg, R Kopperman - 1999
33 Spaces of maximal points – Jimmie Lawson - 1997
31 General Topology. Polish Scientific – R Engelking - 1977
9 Computational models for ultrametric spaces – B Flagg, R Kopperman - 1997
49 Local compactness and continuous lattices – Karl Heinrich Hofmann, Michael W Mislove - 1979
8 Domain Theoretic Models of Topological Spaces – Keye Martin - 1998
330 Classical Descriptive Set Theory – Alexander S Kechris - 1995
5 General topology. Polish Scienti – R Engelking - 1977
10 A Louveau (1990), Glimm-EĀ¤ros dichotomy for Borel equivalence relations – L A Harrington, A S Kechris, A - 2000
8 Nonclassical Techniques for Models of Computation – Keye Martin - 1999
4 Unique points in domain theory – K Martin - 2001
43 A Computational Model for Metric Spaces – Abbas Edalat, Reinhold Heckmann - 1995
3 A principle of induction – K Martin - 2001
157 Measures on the Closed Subspaces of a Hilbert space – A Gleason - 1967
19 A Partial Order on Classical and Quantum States – Bob Coecke, Keye Martin - 2002
14 Measure theoretic results for continuous valuations on partially ordered spaces – M Alvarez-Manilla - 2000