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

@@ Property / author @@
-Qing-Guo Li
@@ Property / author: Qing-Guo Li / rank @@
-Normal rank
@@ Property / author @@
+Qing-Guo Li
@@ Property / author: Qing-Guo Li / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.dam.2017.12.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2781776811
@@ Property / OpenAlex ID: W2781776811 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1800385