Cartesian closed categories of algebraic cpos (Q584381): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+D15
@@ Property / Mathematics Subject Classification ID: 18D15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A06
@@ Property / Mathematics Subject Classification ID: 06A06 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+4134282
@@ Property / zbMATH DE Number: 4134282 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cartesian closed full subcategories
@@ Property / zbMATH Keywords: cartesian closed full subcategories / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+category of algebraic cpos
@@ Property / zbMATH Keywords: category of algebraic cpos / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+profinite domains
@@ Property / zbMATH Keywords: profinite domains / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+principal ideal
@@ Property / zbMATH Keywords: principal ideal / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cartesian closed categories
@@ Property / zbMATH Keywords: cartesian closed categories / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraic function space
@@ Property / zbMATH Keywords: algebraic function space / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of embeddings
@@ Property / cites work: Categories of embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3797244
@@ Property / cites work: Q3797244 / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664454
@@ Property / cites work: Q3664454 / rank @@
+Normal rank
@@ Property / cites work @@
+The largest Cartesian closed category of domains
@@ Property / cites work: The largest Cartesian closed category of domains / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:584381