26 results
Separating minimal valuations, point-continuous valuations, and continuous valuations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 6 / June 2021
- Published online by Cambridge University Press:
- 07 December 2021, pp. 614-632
-
- Article
- Export citation
Products and projective limits of continuous valuations on T0 spaces
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 2 / February 2021
- Published online by Cambridge University Press:
- 14 July 2021, pp. 234-254
-
- Article
- Export citation
Forward analysis for WSTS, part I: completions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 7 / August 2020
- Published online by Cambridge University Press:
- 19 October 2020, pp. 752-832
-
- Article
- Export citation
A semantics for nabla
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 8 / September 2019
- Published online by Cambridge University Press:
- 17 April 2018, pp. 1250-1274
-
- Article
- Export citation
Isomorphism theorems between models of mixed choice
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 6 / September 2017
- Published online by Cambridge University Press:
- 28 December 2015, pp. 1032-1067
-
- Article
- Export citation
A short proof of the Schröder–Simpson Theorem
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 1 / January 2015
- Published online by Cambridge University Press:
- 02 December 2014, pp. 1-5
-
- Article
- Export citation
6 - Metrics, quasi-metrics, hemi-metrics
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 203-259
-
- Chapter
- Export citation
3 - A first tour of topology: metric spaces
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 18-45
-
- Chapter
- Export citation
7 - Completeness
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 260-340
-
- Chapter
- Export citation
References
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 475-479
-
- Chapter
- Export citation
4 - Topology
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 46-119
-
- Chapter
- Export citation
2 - Elements of set theory
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 4-17
-
- Chapter
- Export citation
Contents
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp v-vi
-
- Chapter
- Export citation
9 - Stably compact spaces and compact pospaces
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 397-474
-
- Chapter
- Export citation
5 - Approximation and function spaces
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 120-202
-
- Chapter
- Export citation
Non-Hausdorff Topology and Domain Theory
- Selected Topics in Point-Set Topology
-
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013
1 - Introduction
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 1-3
-
- Chapter
- Export citation
Notation index
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 480-483
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp i-iv
-
- Chapter
- Export citation
8 - Sober spaces
-
- Book:
- Non-Hausdorff Topology and Domain Theory
- Published online:
- 05 May 2013
- Print publication:
- 28 March 2013, pp 341-396
-
- Chapter
- Export citation