Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains (Q1800385): Difference between revisions

@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation of lattices
@@ Property / cites work: A topological representation of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian closed categories of algebraic cpos
@@ Property / cites work: Cartesian closed categories of algebraic cpos / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence between ALGOL 60 and Church's Lambda-notation
+Normal rank
@@ Property / cites work @@
+Rough concept lattices and domains
@@ Property / cites work: Rough concept lattices and domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952147
@@ Property / cites work: Q3952147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5493134
@@ Property / cites work: Q5493134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413929
@@ Property / cites work: Q3413929 / rank @@
+Normal rank