Completely Regular Bishop Spaces (Q3195709): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-20028-6_31
+Normal rank
@@ Property / OpenAlex ID @@
+W2270304818
@@ Property / OpenAlex ID: W2270304818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Mathematics in Theory and Programming Practice
+Normal rank
@@ Property / cites work @@
+Reflections on function spaces
@@ Property / cites work: Reflections on function spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270120
@@ Property / cites work: Q3270120 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating Bishop's function spaces to neighbourhood spaces
+Normal rank
@@ Property / cites work @@
+Quotient topologies in constructive set theory and type theory
+Normal rank