Uniqueness of Scott's reflexive domain in $P\omega $ (Q672137): Difference between revisions

@@ 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/0304-3975(96)00102-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2063983720
@@ Property / OpenAlex ID: W2063983720 / 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 @@
+Uniqueness of Scott's reflexive domain in \(P\omega \)
+Normal rank
@@ Property / cites work @@
+Set-theoretical and other elementary models of the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphisms and nonisomorphisms of graph models
@@ Property / cites work: Isomorphisms and nonisomorphisms of graph models / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank

Uniqueness of Scott's reflexive domain in \(P\omega \) (Q672137): Difference between revisions