Apartness, sharp elements, and the Scott topology of domains (Q6190408): Difference between revisions

@@ Property / cites work @@
+A constructive theory of continuous domains suitable for implementation
+Normal rank
@@ Property / cites work @@
+Some Domain Theory and Denotational Semantics in Coq
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+Apartness and Uniformity
@@ Property / cites work: Apartness and Uniformity / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative Aspects of Order Theory in Univalent Foundations
+Normal rank
@@ Property / cites work @@
+Formalized, Effective Domain Theory in Coq
@@ Property / cites work: Formalized, Effective Domain Theory in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Exhaustible sets in higher-type computation
@@ Property / cites work: Exhaustible sets in higher-type computation / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Elements and Recursion via Dominances in Univalent Type Theory.
+Normal rank
@@ Property / cites work @@
+Sheaf models for set theory
@@ Property / cites work: Sheaf models for set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of classical set theory relative to a set theory with intu1tionistic logic
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3963000
@@ Property / cites work: Q3963000 / rank @@
+Normal rank
@@ Property / cites work @@
+A type theoretic interpretation of constructive domain theory
+Normal rank
@@ Property / cites work @@
+Q3322276
@@ Property / cites work: Q3322276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853985
@@ Property / cites work: Q4853985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009708
@@ Property / cites work: Q5009708 / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces of maximal points
@@ Property / cites work: Spaces of maximal points / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851541
@@ Property / cites work: Q2851541 / rank @@
+Normal rank
@@ Property / cites work @@
+A course in constructive algebra
@@ Property / cites work: A course in constructive algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246953
@@ Property / cites work: Q4246953 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains as formal spaces
@@ Property / cites work: Continuous domains as formal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5856423
@@ Property / cites work: Q5856423 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive domain theory as a branch of intuitionistic pointfree topology
+Normal rank
@@ Property / cites work @@
+Q3664454
@@ Property / cites work: Q3664454 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Effectively given domains
@@ Property / cites work: Effectively given domains / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive maximal point space and partial metrizability
+Normal rank
@@ Property / cites work @@
+Locatedness and overt sublocales
@@ Property / cites work: Locatedness and overt sublocales / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552746
@@ Property / cites work: Q4552746 / rank @@
+Normal rank