Documents Related by Co-Citation

456 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
32 Spaces of maximal points – Jimmie Lawson - 1997
31 General Topology. Polish Scientific – R Engelking - 1977
8 Domain Theoretic Models of Topological Spaces – Keye Martin - 1998
9 Computational models for ultrametric spaces – B Flagg, R Kopperman - 1997
46 Local compactness and continuous lattices – K H Hofmann, M Mislove
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
321 Classical Descriptive Set Theory – A S Kechris - 1995
8 Nonclassical Techniques for Models of Computation – Keye Martin - 1999
4 Unique points in domain theory – K Martin - 2001
42 A Computational Model for Metric Spaces – Abbas Edalat, Reinhold Heckmann - 1995
3 A principle of induction – K Martin - 2001
155 Measures on the closed subspaces of a Hilbert space – A Gleason - 1957
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